(1990). Formal development of programs and proofs: Ed. Edsger W. Dijkstra. Reading, Massachusetts Addison-Wesley Publ. Co. 1990.
Chicago-стиль цитированияFormal Development of Programs and Proofs: Ed. Edsger W. Dijkstra. Reading, Massachusetts Addison-Wesley Publ. Co. 1990, 1990.
MLA-цитированиеFormal Development of Programs and Proofs: Ed. Edsger W. Dijkstra. Reading, Massachusetts Addison-Wesley Publ. Co. 1990, 1990.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.