Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco  Causal-Consistent Reversibility in a Tuple-Based Language.  In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475.  ISBN 978-1-4799-8491-6.      (2015)