1995'

@proceedings{DBLP:conf/forte/1995,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {Formal Description Techniques VIII, Proceedings of the IFIP
               TC6 Eighth International Conference on Formal Description
               Techniques, Montreal, Canada, October 1995},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {43},
  year      = {1996},
  isbn      = {0-412-73270-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}