Alessandro Lapadula Rosario Pugliese Francesco Tiezzi A Formal Account of WS-BPEL. 199-215 2008 COORDINATION http://dx.doi.org/10.1007/978-3-540-68265-3_13 conf/coordination/2008 db/conf/coordination/coordination2008.html#LapadulaPT08