Hui-yun Long and Jian-shi Li. (2009). A Process Algebra Approach of BPEL4WS.
            <i>Journal of Information and Computing Science</i>. <i>4</i> (2).
            093-098.
         doi: