Feasible Computations And Provable Complexity Properties door Juris Hartmanis