"A Recursive Introduction to the Theory of Computation (Graduate Texts in Computer Science)" - читать интересную книгу автора (Carl H. Smith)