Jean-Michel Hélary Claude Jard Noël Plouzeau Michel Raynal Detection of Stable Properties in Distributed Applications. 125-136 1987 PODC db/conf/podc/podc87.html#HelaryJPR87