Baez, J. C. (1982). Recursivity in quantum mechanics. Princeton, NJ: Department of Mathematics.