Kia Makki Paul Banta Ken Been Roy Ogawa Two Algorithms for Mutual Exclusion in a Distributed System. 460-466 1991 ICPP (1) db/conf/icpp/icpp1991-1.html#MakkiBBO91