Introduction to the ISO specification language LOTOS (1988)

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