Reversible Computation - Simon Devitt, Ivan Lanese; Lanese, Ivan (Springer International Publishing, 2016)