Katharina Spies Bernhard Schätz Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999 FBT Herbert Utz Verlag 1999 3-89675-918-3 db/conf/fbt/fbt1999.html