Рассмотрены теоретические аспекты автоматизированного проектирования алгоритмов и программ, базовой моделью которых являются рекурсивные автоматы с программируемой логикой. В качестве инструментальных средств проектирования используются алгоритмические алгебры.

• http://library.khai.edu/library/fulltexts/doc/REKS103/ZHihar.pdf

Радіоелектронні і комп'ютерні системи [Текст] : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — Х. : ХАІ, 2003.

• Праці співробітників ХАІ // Жихарєв В.Я./Жихарев В.Я./Zhikharev V.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ