@proceedings{DBLP:conf/forte/1991,
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Formal Description Techniques, IV, Proceedings of the IFIP
TC6/WG6.1 Fourth International Conference on Formal Description
Techniques for Distributed Systems and Communication Protocols,
FORTE '91, Sydney, Australia, 19-22 November 1991},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-2},
year = {1992},
isbn = {0-444-89402-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}