Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi. A Formal Specification for Web Services Composition and Verification. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 252-256, IEEE Computer Society, 2005. [doi]
Abstract is missing.