"The design and analysis of algorithms" - читать интересную книгу автора (Dexter C. Kozen)