APA-Zitierstil (7. Ausg.)

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.