Wolfgang Polak: Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. Fachtagung über Programmiersprachen 1976: 12-18