Кнут Д. Э.
Математические методы анализа алгоритмов
Ноокулон. Управление реальностью.