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