An Interface Theory Based Approach to Verification of Web Services. - Chen, Zhenbang; Wang, Ji; Dong, Wei; Qi, Zhichang; Yeung, Wing Lok (2006)