"Theoretical Computer Science" - читать интересную книгу автора (Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman)