М.А. Кишиневский, А.Ю. Кондратьев (Ленинград) "Асинхронные параллельные программы и их верификация по диаграммам изменений".

А.И. Аузиньш (Рига) "Существенные переменные и построение полной системы примеров".

Я.М. Барздинь, М.О. Трейманис (Рига) "Об одном формальном методе задания синтаксиса и семантики языков описания интерактивных систем".

Н.И. Кузнецов, М.С. Елманова (Москва) "Функциональная архитектура системы поддержки программного проекта ОС ЕС".

М.Г. Пховелишвили (Тбилиси) "Теорема рекурсии для языка ЛИСП и ее применение в доказательстве правильности программ".

В.Л. Артюхов, Б.П. Кузнецов, А.А. Шалыто (Ленинград) "Верификация бинарных программ".

А.Н. Лившиц, В.Н. Смирнов, А.Е. Фальк (Ленинград) "Структурная и программная концепции в информационных системах: эффективность отладки, тестирования и синтеза функций".

Д.И. Батищев, А.С. Кузьмичев (Горький) "Адаптивная процедура дедуктивного синтеза программ при нескольких критериях качества".

Л.Г. Высоцкий "Конструирование прикладного программного обеспечения на основе знаний о предметной области".

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

В.В. Сагач, А.А. Чернецкий, А.М. Шестопалова (Одесса) "Методика отладки программных средств с учетом экономических показателей".

М.С. Бургин, Ю.А. Человский (Киев) "Оценка качества программ по структурным характеристикам".

В.В. Сергеев "Об одном методе синтеза программ, реализующих функциональные зависимости".

О.И. Николайчук (Кишинев) "Двухпроцессорная система для отладки программ микропроцессора К1810ВМ86".

Н.М. Табатадзе, В.М. Цилибина (Минск) "Вероятностный метод генерации исходных данных для отладки программного обеспечения АСУ".

А.Г. Орлов, Ю.В. Стригалев "Надежность программного обеспечения численных методов механики сплошной среды".

В.Г. Волховер (Ленинград) "Синтез программ по типовым представителям".

П.А. Правильщиков (Москва) "Программный D-алгоритм и его реализация в целях построения тестов для программ".

Ю.В. Гибин (Калинин) "Реализация синтеза программ обработки данных".

В.Ф. Рахманов (Москва) "Процесс освоения программ: эксперимент, разностная модель".