Assertional Reasoning for Concurrent and Communicating BPEL-like Programs - Longfei Zhu; Qiwen Xu; Huibiao Zhu (Annals of computer science and information systems)