Feasible computations and provable complexity properties - Hartmanis, Juris (CBMS-NSF regional conference series in applied mathematics, 1978)