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

by M Blum
Venue:J. Association for Computing Mahinery