Solution of a Problem in Concurrent Programming Control (1965)

by E W Dijkstra
Venue:Comm. A CM