Introduction to the ISO specification language LOTOS (1987)

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