Hartmut Schmeck Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. 33-42 1976 conf/programmier/1976 Fachtagung über Programmiersprachen db/conf/programmier/programmier1976.html#Schmeck76