Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
edited by K.R. Parker, G.A. Rose
(IFIP transactions, C . Communications systems ; 2)
North-Holland, 1992