@article {DBLP:journals/jlp/VazF12,
	title = {On the analysis of compensation correctness},
	journal = {J. Log. Algebr. Program.},
	volume = {81},
	number = {5},
	year = {2012},
	note = {n/a},
	pages = {585-605},
	abstract = {n/a},
	author = {C{\'a}tia Vaz and Carla Ferreira}
}
