Архив автора	Зайченко, С. А.     Модель интерпретации высокоуровневых операторов LTL-логики [Текст] / С. А. Зайченко, Е. И. Литвинова, И. А. Побеженко // Автоматизир. системы упр. и приборы автоматикиВып. 149. Вып. 149 ; М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники - Харьков , 2009. — 96-111.