APA (7th ed.) Citation

Dijkstra, E. W. (1990). Formal development of programs and proofs. Addison-Wesley.

Chicago Style (17th ed.) Citation

Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Reading, Mass.: Addison-Wesley, 1990.

MLA (9th ed.) Citation

Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Addison-Wesley, 1990.

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