Gérôme Canals Claude Godart Pascal Molli Manuel Munier A Criterion to Enforce Correctness of Indirectly Cooperating Applications. 279-302 1998 110 Inf. Sci. 3-4 db/journals/isci/isci110.html#CanalsGMM98