Beverly A. Sanders The Information Structure of Distributed Mutual Exclusion Algorithms. 284-299 1987 5 ACM Trans. Comput. Syst. 3 https://doi.org/10.1145/24068.28052 db/journals/tocs/tocs5.html#Sanders87