E.: Introduction to the ISO Specification Language LOTOS (1987)

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