Feasible computations and provable complexity properties - Hartmanis, Juris (National Science Foundation / Conference Board of the Mathematical Sciences: CBMS-NSF regional conference series in applied mathematics, 1978)