Спицына Н. В. Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов : диссертация на соискание ученой степени кандидата технических наук. 05.13.01 / Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т. - Томск : [б. и.], 2005. - 154,[5] л.: ил.