Introduction to the ISO specification language LOTOS. (1987)

by T Bolognesi, E Brinksma
Venue:Computer Networks and ISDN Systems