On stabilization in Herman's algorithm (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011)

(untitled) - Kiefer, S; Murawski, A; Ouaknine, J; Worrell, J; Zhang, L