Архів автора	Василенко, В. А.     Метод верификации HDL-кода на основе транзакционного логического графа [Текст] / Василенко А. А., Побеженко И. А. // Радиоэлектроника и молодежь в ХХІ векеТ. 2. Т. 2 ; М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники - Х. , 2010. — 34.