Theory of Reversible Computing - Morita, Kenichi (Springer Japan, 2017)