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