Rodney R. Howell Mikhail Nesterenko Masaaki Mizuno Finite-State Self-Stabilizing Protocols in Message-Passing Systems. 792-817 2002 62 J. Parallel Distrib. Comput. 5 http://dx.doi.org/10.1006/jpdc.2001.1825 db/journals/jpdc/jpdc62.html#HowellNM02