Self-stabilization - Dolev, Shlomi (MIT Press, 2000)