Self-stabilizing systems in spite of distributed control (1974)

by E W Dijkstra
Venue:Commun. ACM