Chenguang Luo Shengchao Qin Zongyan Qiu Verifying BPEL-Like Programs with Hoare Logic. 151-158 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.41 conf/tase/2008 db/conf/tase/tase2008.html#LuoQQ08