Text this: Theory of Reversible Computing