Dijkstra, E. W., "Solution of a Problem in Concurrent Programming Control," Communications of the ACM 8(9), September 1965, p. 569.