Ivan M. Havel
University of California, Berkeley
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
Abstract computational complexity and cycling computations
Journal of Computer and System Sciences