Self-Stabilization by Shlomi Dolev