Petit, F.; Villain, V. SELF-STABILIZING DEPTH-FIRST TOKEN CIRCULATION IN ASYNCHRONOUS MESSAGE-PASSING SYSTEMS. Comput. Inform. 2012, 19, 391-415.