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