Caires, Luis and Ferreira, Carla and Torres Vieira, Hugo   A process calculus analysis of compensations.   In:  Trustworthy Global Computing.   Lecture notes in computer science  (5474).  Springer, pp. 87-103.  ISBN 978-3-642-00945-7      (2009)