%N  
%L eprints137
%A Maria Grazia Buscemi
%A Mario Coppo
%A Mariangiola Dezani-Ciancaglini
%A Ugo Montanari
%I IMT Institute for Advanced Studies Lucca
%D 2011
%C Z?rich, Switzerland
%T Constraints for Service Contracts