Citazione Stile APA (7a Edizione)
Dijkstra, E. W. (1990). Formal Development of Programs and Proofs. Addison-Wesley.
Citazione stile Chigago Style (17a edizione)
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Reading: Addison-Wesley, 1990.
Citatione MLA (9a ed.)
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Addison-Wesley, 1990.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.