Guarded commands, nondeterminacy and formal derivation of programs (1975)

by Edsger W Dijkstra
Venue:Communications of the ACM