А.Л. Синицкий (Львов) "Об одном подходе к автоматизации сложностного анализа алгоритмов поуровневой обработки деревьев".

С.Д. Омаров, Т.Ж. Тулепбаев (Алма-Ата) "Методы и средства отладки для терминальной системы управления ГАП".

А.С. Исаев, С.Д. Омаров, Т.Ж. Тулепбаев (Алма-Ата) "Система автоматической трассировки программ".

Ю.Г. Везденев, О.А. Холоденко (Киев) "Метод синтеза программ для вычислительных моделей, описываемых атрибутными схемами перевода".

А.Б. Ушак, О.А. Холоденко (Киев) "Система для синтеза диалоговых программ".

В.И. Тартачник, Ю.Г. Везденев, Ю.Г. Бесценный (Киев) "Система синтеза программ, функционирующих над интегрированной базой данных".

О.А. Холоденко (Киев) "Об одном подходе к проверке правильности запросов на планирование для вычислительных задач".

Б.В. Снопков, Н.Н. Бурлык, И.И. Гнездило (Харьков) "Логические основы и описательные возможности языка ПЛАТАН-Д1".

Н.Н. Бурлык, П.С. Наливко, А.Н. Косинов, Т.П. Волошина (Харьков) "Реализация методов логического программирования в системе ДАИЛОС".

Ю.Г. Богданов, А.А. Рось (Харьков) "Отладка программ реального времени, синтезируемых на основе формально-логических методов".

А.А. Рось (Харьков) "Логистическое программирование как аппарат формализации задач синтеза программ систем реального времени".

В.П. Городнов, А.Н. Коваленко (Харьков) "Методика и алгоритм синтеза структуры специального программного обеспечения АСУ".

Ю.Г. Богданов, А.А. Рось (Харьков) "Отладка программ реального времени, синтезируемых на основе формально-логических методов".

Н.Н. Бурлык, П.С. Наливко, А.Н. Косинов, Т.П. Волошина (Харьков) "Реализация методов логистического программирования в системе ДАИЛОС".

В.П. Городнов, В.В. Зенин (Харьков) "Тестирование вычислительных модулей при помощи интервального процессора".

Л.Ф. Викентьев, В.П. Гладков (Пермь) "Тестирование программ с помощью эквивалентных преобразований".

Ю.И. Колосова (Новосибирск) "О тестировании сложной программы на SIMD-машине".

Г.А. Дробушевич, А.Н. Коваленко (Минск) "Модель оценки сложности разработки программного изделия на основе характеристик процесса его проектирования".

Д.К. Антонец, А.Е. Соловьев (Пермь) "Синтез алгоритмов на основе модифицируемого описания".

Ю.Л. Дрючин (Киев) "Синтез итеративных алгоритмов в системах планирования действий".