APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.