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