Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model - Lin, J. C.; Chiu, M. Y. (DISCRETE APPLIED MATHEMATICS, 2009)