Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares Causal-consistent reversible debugging. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 370-384. ISBN 978-3-642-54804-8 (2014)