И.Ю. Иванов "Программный комплекс для редактирования и отладки микропрограмм".

Г.В. Римский, С.В. Чебаков "Об автоматическом синтезе оптимальной цепочки модулей достижения цели при нескольких критериях оптимизации".

С.А. Мартынов (Пенза) "Метод оценки сложности программ, учитывающий стиль программирования".

Я.Э. Пеньям, М.Я. Харф (Таллин) "Задача оптимизации при дедуктивном синтезе программ".

Г.И. Калниньш, Ю.В. Гибин (Калинин) "Технологические аспекты применения и развития средств синтеза программ".