Reversible Computation - Thomsen; Soeken, Mathias (Springer International Publishing, 2019)