Solution of a problem in concurrent programming control (1965)

by Edsger W Dijkstra
Venue:Commun. ACM