Alain Cournier Stéphane Devismes Vincent Villain Light enabling snap-stabilization of fundamental protocols. 2009 4 TAAS 1 http://doi.acm.org/10.1145/1462187.1462193 db/journals/taas/taas4.html#CournierDV09