Yehuda Afek Geoffrey M. Brown Self-Stabilization of the Alternating-Bit Protocol. 80-83 1989 SRDS db/conf/srds/srds89.html#AfekB89