Luo, C., Qin, S., & Qiu, Z. (2008, June). Verifying BPEL-like Programs with Hoare Logic. Presented at International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China