Beverly A. Sanders: The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Trans. Comput. Syst. 5(3): 284-299 (1987)