D. Angluin, J. Aspnes, and D. Eisenstat. IN DISTRIBUTED COMPUTING: 20TH INTERNATIONAL SYMPOSIUM, DISC 2006, volume 4167 of Lecture Notes in Computer Science, page 61-75. Springer, (2006)
E. Dijkstra. Programming Languages: NATO Advanced Study Institute, Academic Press, http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF -- last visited $8^th$~December~2007.(1968)