Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard A reversible abstract machine and its space overhead. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (7273). Springer, pp. 1-17. ISBN 978-3-642-30793-5 (2012)