Theory of reversible computing - Morita, Kenichi (Japan Springer, 2017)