Reversible Computation - Michael Kirkedal Thomsen, Mathias Soeken (Springer, 2019)