On the structure of feasible computations - Hartmanis, Juris; Simon, Janos (1974)