Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco  Causal-consistent reversibility.  Bulletin of EATCS, 114.  pp. 1-19.       (2014)