Bauer, Friedrich L.2018-01-262018-01-261980https://dl.gi.de/handle/20.500.12116/15332deFormulierung, Formalisierung und automatische Programmierung in den frühen Arbeiten Konrad ZusesText/Journal Article