Reversible Computation - Lanese; Rawski, Mariusz (Springer International Publishing, 2020)