Theory of Reversible Computing