Reversible Computation - Shigeru Yamashita; Yokoyama, Tetsuo (Springer International Publishing, 2021)