Herbert Klaeren Software Engineering und formale Verfahren. 48-50 1992 conf/seuh/1992 SEUH db/conf/seuh/seuh1992.html#Klaeren92