Vaz, C, Ferreira C.  2012.  On the analysis of compensation correctness. J. Log. Algebr. Program.. 81:585-605., Number 5