Solution of a problem in concurrent programming control. (1965)

by E W Dijkstra
Venue:Communications of the ACM,