Solution to a Problem in Concurrent Programming Control (1965)

by E Dijkstra
Venue:Communications of the ACM