1. Anderson , J. H. 2001. Lamport on mutual exclusion: 27 years of planting seeds. InProceedings of the ACM Symposium on Principles of Distributed Computing, Newport, RI, pp.3-12.
2. Concepts and Notations for Concurrent Programming
3. Specification and Proof Techniques for Serializers
4. System Deadlocks