Further results on properties of these specifications, such as on their size and orthogonality, are provided which show that our main results are the best possibledoi:10.1145/227683.227687Gabinete de ComunicaciónJournal of the Association for Computing Machinery...