Heinrich Hußmann Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? 1-6 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#Hussmann99