text: Первое формальное определение сводимости было предложено Аланом Тьюрингом в 1939 г. Сведение Курс «Введение в структурную теорию сложности» Cook Reduction (Сведение по Куку) (англ.) на сайте PlanetMath.