Rastislav Kralovic: Time Optimal Self-Stabilizing Algorithms. SOFSEM 1997: 464-472