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