Chengdian Lin Janos Simon Observing Self-Stabilization. 113-123 1992 PODC db/conf/podc/podc92.html#LinS92