Jean-Michel Couvreur Nissim Francez Mohamed G. Gouda Asynchronous Unison (Extended Abstract). 486-493 1992 ICDCS db/conf/icdcs/icdcs92.html#CouvreurFG92