Text this: An Axiomatic Theory for Reversible Computation.