Leslie Lamport A Fast Mutual Exclusion Algorithm. 1-11 1987 5 ACM Trans. Comput. Syst. 1 http://doi.acm.org/10.1145/7351.7352 db/journals/tocs/tocs5.html#Lamport87