APA Edition Citation

Dijkstra, E. W. (1990). Formal Development Of Programs And Proofs. Addison-wesley Publishing Company.

Chicago Edition Citation

Dijkstra, Edsger W. Formal Development Of Programs And Proofs. Addison-wesley Publishing Company, 1990.

MLA Edition Citation

Dijkstra, Edsger W. Formal Development Of Programs And Proofs. Addison-wesley Publishing Company, 1990.

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