Edward L. Robertson
University of Wisconsin, Madison, Wisc.
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)