Theory of reversible computing - Morita, Ken'ichi. (Springer,)