Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo  Constraints for Service Contracts.  Working Paper  # /2011        (Submitted)