Guarded Commands, Nondeterminacy and Formal Derivation of Programs (1975)

Cached

Download Links

by Edsger W. Dijkstra
Citations:519 - 0 self