Dijkstra, Edsger W. Guarded commands, nondeterminacy and formal derivation of programs. (English) Zbl 0308.68017 Commun. ACM 18, 453-457 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 161 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML Cite \textit{E. W. Dijkstra}, Commun. ACM 18, 453--457 (1975; Zbl 0308.68017) Full Text: DOI