Reversible Computing by Alexis De Vos