Reversible Computation - Jarkko Kari, Irek Ulidowski (Springer, 2018)