Reversible Computation - Phillips, Iain (Springer International Publishing, 2020)