Kia Makki Paul Banta Ken Been Niki Pissinou On Algorithms for Mutual Exclusion in Distributed Systems. 149-152 1992 ICPP (2) db/conf/icpp/icpp1992-2.html#MakkiBBP92