Goerdt, A. (1986). Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme.
Chicago-Zitierstil (17. Ausg.)Goerdt, Andreas. Ein Hoare Kalkül Für Die Sprache Der Getypten Lambda-Terme. 1986.
MLA-Zitierstil (9. Ausg.)Goerdt, Andreas. Ein Hoare Kalkül Für Die Sprache Der Getypten Lambda-Terme. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.