Solution of a problem in concurrent programming control (1965)

by Edgser W Dijkstra
Venue:In DISC. 149–160