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