Michael J. Butler Carla Ferreira Muan Yong Ng Precise Modelling of Compensating Business Transactions and its Application to BPEL. 712-743 2005 11 J. UCS 5 http://www.jucs.org/jucs_11_5/precise_modelling_of_compensating db/journals/jucs/jucs11.html#ButlerFN05