Ji-Cherng Lin, Ming-Yi Chiu: Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model. Discret. Appl. Math. 157(1): 140-148 (2009)