Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. - Hans-Juergen Boehm; Alan J. Demers; Chris Uhler (LOPLAS, 1993)