@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}
}