Kleoni Ioannidou Transformations of Self-Stabilizing Algorithms. 103-117 2002 conf/wdag/2002 DISC http://link.springer.de/link/service/series/0558/bibs/2508/25080103.htm db/conf/wdag/disc2002.html#Ioannidou02