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