Reversible Computation - Krivine (Springer International Publishing, 2015)