Text this: A Foundational Theory of Contracts for Multi-party Service Composition.