EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975 | Heykuki News