Further Comments on Dijkstra's Concurrent Programming Control Problem
CACM November, 1972
Eisenberg, M. A.
McGuire, M. R.
