Hans Rohleder Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache. 206-213 1975 11 Elektronische Informationsverarbeitung und Kybernetik 4-6 db/journals/eik/eik11.html#Rohleder75