F. Petit and V. Villain, “SELF-STABILIZING DEPTH-FIRST TOKEN CIRCULATION IN ASYNCHRONOUS MESSAGE-PASSING SYSTEMS”, Comput. Inform., vol. 19, no. 5, pp. 391–415, Mar. 2012.