@misc{https://doi.org/10.3217/jucs-011-05-0712,
  doi = {10.3217/JUCS-011-05-0712},
  url = {https://lib.jucs.org/article/28405/},
  author = {{Carla Ferreira} and {Michael Butler} and {Muan Yong Ng}},
  title = {Precise Modelling of Compensating Business Transactions and its Application to BPEL},
  journal = {JUCS - Journal of Universal Computer Science Volume Nr. 11 Issue Nr. 5},
  publisher = {Verlag der Technischen Universität Graz},
  year = {2005}
}