"Feasible Computations and Provable Complexity Properties" - читать интересную книгу автора (Juris Hartmanis)