Huibiao Zhu Jifeng He Jing Li Unifying Denotational Semantics with Operational Semantics for Web Services. 225-239 2007 conf/icdcit/2007 ICDCIT http://dx.doi.org/10.1007/978-3-540-77115-9_23 db/conf/icdcit/icdcit2007.html#ZhuHL07