Общая теория решения задач (рациология)
Формализация задач для решения на ЭВМ: учеб. пособие / М. В. Аристова, Е. И. Перовская
Анализ технического решения задач: [учебное пособие по курсу "Методы проектирования"] / О. Е. Ячник