Dijkstra, E. W. (1990). Formal development of programs and proofs. Addison-Wesley.
Citace podle Chicago (17th ed.)Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Reading, Mass: Addison-Wesley, 1990.
Citace podle MLA (9th ed.)Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Addison-Wesley, 1990.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..