Информатика, вычислительная техника и управление. Диссертация Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления : диссертация ... кандидата технических наук : 05.13.01, Томск, 2000