Feasible Computations And Provable Complexity Properties by Juris Hartmanis