[biblio01_01]  Lamport on mutual exclusion: 27 years of planting seeds. In Twentieth Annual ACM Symposium on Principles of Distributed Computing, pages 3–12, 2001.
[biblio01_02]  Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Reading, MA, <year>2000</year>.
[biblio01_03]  and Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, <year>1991</year>.
[biblio01_04]  and Distributed Computing. McGraw-Hill, London, <year>1998</year>.
[biblio01_05]  High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Harlow, <year>2003</year> ...