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)