Further comments on Dijkstra’s concurrent programming control problem (1972)

by Murray A Eisenberg, Michael R McGuire
Venue:Communications of the ACM