Friedrich L. Bauer Formulierung, Formalisierung und automatische Programmierung in den frühen Arbeiten Konrad Zuses. 114-119 1980 3 Informatik Spektrum 2 db/journals/insk/insk3.html#Bauer80