Предложен метод проектирования автоматизированных систем контроля (АСК), основанный на алгоритмической алгебре. Эффективность разработанного метода связана с использованием при создании АСК для критических приложений теории рекурсивных автоматов.

• http://library.khai.edu/library/fulltexts/doc/REKS306/Gora.pdf

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

• Праці співробітників ХАІ // Гора М.М./Гора Н.Н.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Системи автоматичного контролю