Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов / А. Коломеец, М. Громов, С. Прокопенко, Н. Евтушенко // Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.). Томск, 2003. С. 503-505