Евтушенко Н. В. К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции / Н. В. Евтушенко, А. Ф. Петренко // Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 151-155. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472663