Self-stabilizing Systems in Spite of Distributed Control
CACM November, 1974
Dijkstra, E. W.
