Reversible Computation - Lanese (Springer International Publishing, 2020)