Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo  Constraints for Service Contracts.  Technical Report  # /2011    Università di Pisa, Dipartimento di Informatica