Prasad Jayanti King Tan Gregory Friedland Amir Katz Bounding Lamport's Bakery Algorithm. 261-270 2001 conf/sofsem/2001 SOFSEM http://link.springer.de/link/service/series/0558/bibs/2234/22340261.htm db/conf/sofsem/sofsem2001.html#JayantiTFK01