Reversible Computation - Kari; Irek Ulidowski; Ulidowski, Irek (Springer International Publishing, 2018)