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...
comme son beffroi surplombant le marché de plein air. Si vous avez le courage d’escalader les 366 marches, la récompense est au bout de l’effort : la vue y est imprenable !