A new solution of Dijkstra’s concurrent programming problem (1974)

by L Lamport
Venue:Communications ACM