Reversible Computation: Extending Horizons of Computing - Ulidowski; Ferreira, Carla; Lanese, Ivan; Schultz, Ulrik Pagh (Springer International Publishing, 2020)