Xiaoying Bai Yongbo Wang Guilan Dai Wei-Tek Tsai Yinong Chen A Framework for Contract-Based Collaborative Verification and Validation of Web Services. 258-273 2007 conf/cbse/2007 CBSE http://dx.doi.org/10.1007/978-3-540-73551-9_18 db/conf/cbse/cbse2007.html#BaiWDTC07