Time- and Space-Efficient Self-Stabilizing Algorithms. - Hauck, Bernd (Cuvillier Verlag, 2013)