Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. - Steffen Lamparter; Stefan Luckner; Sybille Mutschler (HICSS, 2007)