Ted Herman Probabilistic Self-Stabilization. 63-67 1990 35 Inf. Process. Lett. 2 db/journals/ipl/ipl35.html#Herman90