Zhenbang Chen Ji Wang Wei Dong Zhichang Qi Wing Lok Yeung An Interface Theory Based Approach to Verification of Web Services. 139-144 2006 conf/compsac/2006 COMPSAC (2) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.112 db/conf/compsac/compsac2006-2.html#ChenWDQY06