Wolfgang Polak Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. 12-18 1976 conf/programmier/1976 Fachtagung über Programmiersprachen db/conf/programmier/programmier1976.html#Polak76