[cs63201] for self-stabilization

[Mikhail Nesterenko]

use Dijkstra's "Self-stabilizing Systems in Spite of Distributed
Control" and "A Belated Proof of Self-Stabilization" for K-state token
circulation algorithm. They are available in "Additional Reading Material"

For self-stabilizing ABP, instead of Gouda&Multari read R.R. Howell,
M. Nesterenko, M. Mizuno "Finite-State Self-Stabilizing Protocols in
Message-Passing Systems". Conference version of the paper is
sufficient. It is available on my Research page.

Thanks,
-- 
Mikhail