APA-Zitierstil (7. Ausg.)
Dijkstra, E. W. (1990). Formal Development of Programs and Proofs. Addison-Wesley Publishing Company.
Chicago-Zitierstil (17. Ausg.)
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Reading: Addison-Wesley Publishing Company, 1990.
MLA-Zitierstil (9. Ausg.)
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Addison-Wesley Publishing Company, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.