Jan Bredereke. Hierarchische Familien formaler Anforderungen. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 31-40, Verlag Shaker, 2000.
Abstract is missing.