Shlomi Dolev Self-Stabilizing Routing and Related Protocol. 122-127 1997 42 J. Parallel Distrib. Comput. 2 db/journals/jpdc/jpdc42.html#Dolev97