@inbook{Ferreira03,
  title      = {Using B Refinement to Analyse Compensating Business Processes},
  ISBN       = {9783540448808},
  ISSN       = {0302-9743},
  DOI        = {10.1007/3-540-44880-2_28},
  booktitle  = {ZB 2003: Formal Specification and Development in Z and B},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Ferreira, Carla and Butler, Michael},
  year       = {2003},
  pages      = {477–496},
}