Reversible Computation - Thomsen (Springer International Publishing, 2019)