Hans-Juergen Boehm Alan J. Demers Christ Uhler Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. 46-58 1993 2 LOPLAS 1-4 db/journals/loplas/loplas2.html#BoehmDU93 http://doi.acm.org/10.1145/176454.176479