Reversible Computation - Claudio Antares Mezzina, Krzysztof Podlaski (Springer, 2022)