Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara: A latency-optimal superstabilizing mutual exclusion protocol. WSS 1997: 110-124