Complexity classes of recursive functions - Moll, Robert (Mass. Inst. of Technology, Project MAC, 1973)