Mario Bravetti Gianluigi Zavattaro A theory of contracts for strong service compliance. 601-638 2009 19 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129509007658 db/journals/mscs/mscs19.html#BravettiZ09a