APA-Zitierstil (7. Ausg.)

MacGowan, C., & Misra, J. (1973). A mathematical basis for Dijkstra-Hoare semantics.

Chicago-Zitierstil (17. Ausg.)

MacGowan, Clement, und Jayadev Misra. A Mathematical Basis for Dijkstra-Hoare Semantics. Providence, Rhode Island, 1973.

MLA-Zitierstil (9. Ausg.)

MacGowan, Clement, und Jayadev Misra. A Mathematical Basis for Dijkstra-Hoare Semantics. 1973.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.