Dijkstra, E. W. (1990). Formal development of programs and proofs. Addison-Wesley.
Παραπομπή σε μορφή Chicago (17η εκδ.)Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Reading, Mass: Addison-Wesley, 1990.
Παραπομπή σε μορφή MLA (9th εκδ.)Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Addison-Wesley, 1990.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.