Shimon Cohen Daniel J. Lehmann Amir Pnueli Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. 215-225 1984 34 Theor. Comput. Sci. db/journals/tcs/tcs34.html#CohenLP84