@Proceedings{Wolisz1997,
  title        = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, GI/ITG-Fachgespr{\"a}ch, Berlin, 19.-20. Juni 1997},
  editor       = {Adam Wolisz and Ina Kathrin Schieferdecker and Axel Rennoch},
  isbn         = {3-88457-315-2},
  publisher    = {GMD-Forschungszentrum Informationstechnik GmbH},
  series       = {GMD-Studien},
  volume       = {315},
  year         = {1997},
  type			= {book}
}