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

by E W Dijkstra
Venue:Comr,iuri. ACM