Reversible Computation - Dueck, Gerhard W.; Miller, D. Michael; Miller, D. Michael (Springer Berlin Heidelberg, 2013)