"Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)" - читать интересную книгу автора (Juris Hartmanis)