A machine independent theory of the complexity of recursive functions (1967)

by M Blum
Venue:Journal of the ACM