Buscemi, Maria Grazia and Melgratti, Hernán C. Contracts for Abstract Processes in Service Composition. In: Proceedings Foundations for Interface Technologies (FIT’10). Electronic Proceedings in Theoretical Computer, 46 . Electronic Proceedings in Theoretical Computer Science, pp. 9-27. (2011)