Formulierung, Formalisierung und automatische Programmierung in den frühen Arbeiten Konrad Zuses.