"Models of Computation: Exploring the Power of Computing" - читать интересную книгу автора (John E. Savage)