Reversible Computation - Phillips; Rahaman, Hafizur (Springer International Publishing, 2017)