"The Pillars of Computation Theory" - читать интересную книгу автора (Arnold L. Rosenberg)