Guarded Commands (1975)

by E Dijkstra
Venue:Communications of ACM