1. Anderson, J., Gouda, M.: Atomic semantics of nonatomic programs. Inf. Process. Lett.28, 99?103 (1988)
2. Burns, J., Lynch, N.: Bounds on shared memory for mutual exclusion. Inf. Comput. to appear. Originally appeared as: Mutual exclusion using indivisible reads and writes. Proceedings of the 18th Allerton Conference on Communication, Control, and Computing, October 1980, pp. 833?842
3. Dijkstra, E.: Solution of a problem in concurrent programming control. Commun. ACM8(9), 569 (1965)
4. Dijkstra, E.: A discipline of programming. Englewood Cliffs, NJ: Prentice-Hall 1976
5. Kessels, J.: Arbitration without common modifiable variables. Acta Inf.17, 135?141 (1982)