@article{Vaz12,
  title      = {On the analysis of compensation correctness},
  volume     = {81},
  ISSN       = {1567-8326},
  DOI        = {10.1016/j.jlap.2012.04.002},
  number     = {5},
  journal    = {The Journal of Logic and Algebraic Programming},
  publisher  = {Elsevier BV},
  author     = {Vaz, Cátia and Ferreira, Carla},
  year       = {2012},
  month      = July,
  pages      = {585–605},
}