Masahiro Kimoto Tatsuhiro Tsuchiya Tohru Kikuno On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. 1570-1573 2009 92-D IEICE Transactions 8 http://search.ieice.org/bin/summary.php?id=e92-d_8_1570 db/journals/ieicet/ieicet92d.html#KimotoTK09