Feasible computations and provable complexity properties - Hartmanis, Juris (Soc. for Industrial and Applied Mathematics, 1978)