Viacheslav Chernoy Mordechai Shalom Shmuel Zaks A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring. 63-77 2008 DISC http://dx.doi.org/10.1007/978-3-540-87779-0_5 conf/wdag/2008 db/conf/wdag/disc2008.html#ChernoySZ08