"Mathematische Logik und Informatik."

Konrad Zuse (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics