Mezzina, Claudio Antares and Pérez, Jorge A. Reversibility in session-based concurrency: A fresh look. Journal of Logical and Algebraic Methods in Programming, 90. pp. 2-30. ISSN 2352-2208 (2017)