Theory of Reversible Computing - Morita, Kenichi. (Monographs in Theoretical Computer Science. An EATCS Series, 2017)