Евтушенко Н. В. Недетерминированные автоматы: анализ и синтез : учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]. Ч. 3 / Н. В. Евтушенко, М. Л. Громов, Н. В. Шабалдина. - Томск : Том. гос. ун-т, 2013. - 57 с.: ил.