Reversible Computation - Shigeru Yamashita, Shin-ichi Minato; Minato, Shin-Ichi (Springer International Publishing, 2014)