Kushik N. G. Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability / N. G. Kushik // Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 242-243. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000443904