Adam Wolisz Ina Schieferdecker Axel Rennoch Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997 FBT GMD-Studien 315 GMD-Forschungszentrum Informationstechnik GmbH 1997 3-88457-315-2 db/conf/fbt/fbt1997.html