Roberto Bruni Hernán C. Melgratti Ugo Montanari Theoretical foundations for compensations in flow composition languages. 209-220 2005 conf/popl/2005 POPL http://doi.acm.org/10.1145/1040305.1040323 db/conf/popl/popl2005.html#BruniMM05