1. Self-stabilizing systems in spite of distributed control;Dijkstra;Comm. Assoc. Comput. Mach.,1974
2. Self-stabilization in spite of distributed control;Dijkstra,1982
3. A belated proof of self-stabilisation;Dijkstra;Distrib. Comput.,1986
4. Observations on self-stabilizing graph algorithms for anonymous networks;Shukla,1995
5. A self-stabilizing algorithm for constructing breadth-first trees;Huang;Inform. Process. Lett.,1992