Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Marco Montali Paolo Torroni Web Service Contracting: Specification and Reasoning with SCIFF. 68-83 2007 conf/esws/2007 ESWC http://dx.doi.org/10.1007/978-3-540-72667-8_7 db/conf/esws/eswc2007.html#AlbertiCGLMMT07