DMCA

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

Cached

Download Links

by Edsger W. Dijkstra
Citations:518 - 0 self