Conversation specification: a new approach to design and analysis of e-service composition
Interface Theories for Component-based Design