Introduction to the ISO specification language LOTOS (1987)

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