Konrad Zuse Mathematische Logik und Informatik. 57-70 1975 conf/gi/1975 GI Jahrestagung db/conf/gi/gi75.html#Zuse75