Steffen Lamparter Stefan Luckner Sybille Mutschler Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. 63 2007 conf/hicss/2007 HICSS http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.232 db/conf/hicss/hicss2007.html#LamparterLM07