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