Feasible Computations and Provable Complexity Properties (1978)

by J Hartmanis