Куфарева И.Б. Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / И. Б. Куфарева, 2000. - 23 с. - Текст : непосредственный.