Huibiao Zhu Jifeng He Jing Li Geguang Pu Jonathan P. Bowen Linking denotational semantics with operational semantics for web services. 283-298 2010 6 ISSE 4 http://dx.doi.org/10.1007/s11334-010-0134-z db/journals/isse/isse6.html#ZhuHLPB10