Разработка и реализация алгоритмов решения комбинаторно-логических задач проектирования цифровых устройств методом сокращенного обхода дерева поиска: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01. - Беляев В. А. (Томск, 1979)