Tetz C. Huang A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity. 70-85 2005 71 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2004.12.011 db/journals/jcss/jcss71.html#Huang05