@inbook{Vaz09,
  title      = {Towards Compensation Correctness in Interactive Systems},
  ISBN       = {9783642144585},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-642-14458-5_10},
  booktitle  = {Web Services and Formal Methods},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Vaz, Cátia and Ferreira, Carla},
  year       = {2010},
  pages      = {161–177},
}