Computing with Reversible