An introduction of Estelle: A specification language for distributed systems (1987)

by S Budkowski, P Dembinske
Venue:Computer Networks and ISDN Systems