Citação norma APA
Dijkstra, E. W. (1990). Formal Development of Programs and Proofs. Addison-Wesley.
Citação norma Chicago
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Reading: Addison-Wesley, 1990.
Citação norma MLA
Dijkstra, Edsger W. Formal Development of Programs and Proofs. Addison-Wesley, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.