Кушик Н. Г. Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 / Кушик Наталья Геннадьевна ; науч. конс. Евтушенко Н. В. ; Том. гос. ун-т. - Томск : [б. и.], 2016. - 287 л.: ил., табл.. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539855