Erik Kamsties Antje von Knethen Jan Philipps Bernhard Schätz Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. 103-112 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#KamstiesKPS99