(en) Leslie Lamport, « A New Solution of Dijkstra's Concurrent Programming Problem », Communications of the ACM, vol. 17, no 8, , p. 453-455 (lire en ligne [PDF])
(en) Edsger Dijkstra, « Solution of a Problem in Concurrent Programming Control », Communications of the ACM, vol. 8, no 9, , p. 569 (lire en ligne [PDF])