Yuliang Shi Liang Zhang Bing Liu Fangfang Liu Lili Lin Baile Shi A Formal Specification for Web Services Composition and Verification. 252-256 2005 conf/IEEEcit/2005 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2005.10 db/conf/IEEEcit/IEEEcit2005.html#ShiZLLLS05