Reversible Computation - Krivine; Stefani, Jean-Bernard (Springer International Publishing, 2015)