В.В. Клюев (Ленинград) "Средства отладки компиляторов в системе ГАММА".

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

Г.А. Кучеров (Новосибирск) "Применение алгоритма Кнута-Бендикса для анализа свойств спецификаций абстрактных типов данных".

А.Г. Ахламов, А.А. Кондратенко, Ю.Б. Пигарев, В.Г. Пенко (Одесса) "Технология тестирования программ на языках моделирования".

Т.Т. Романюк, В.А. Костовский, З.А. Крилишин (Львов) "Об одной реализации диагностирования Фортран-программ по их схемам Янова".

В.Н. Волохов (Киев) "Диалоговые средства отладки программ в системе ДЕФИПС".

Ю.Ф. Кислицкий (Москва) "Верификация программной модели ЭВМ".

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

А.Н. Олефир (Киев) "Совершенствование процесса отладки на основе системы контролируемой модификации программ".

А.В. Манцивода (Иркутск) "Типы данных в языке ПИФОР".

А.А. Воронков (Новосибирск) "Синтез программ-предикатов".

Н.В. Вайнер, Н.Ю. Петрашкова (Новосибирск) "Средства тестирования и отладки Фортран-программ на МВК ЭЛЬБРУС".

Р.В. Дмитришин (Львов) "Тренажер-отладчик программ на микропроцессоре К1801".

В.Г. Ковтун, М.Б. Ливач, Е.Л. Рывкин (Львов) "Экспериментальная система отладки программ СМП".

В.И. Гущин, Л.М. Пономарева (Омск) "О подходе к трассировочным средствам отладки программных систем".

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

О.И. Кутузов, П.Н. Барабанщиков (Ленинград) "Тестирование протоколов с использованием языка спецификаций".

А.Н. Афанасьев, О.Г. Кокаев, Н.Б. Митрофанов (Ленинград) "RSG-анализатор программ".

В.С. Костырко, Ю.А. Рыбалко (Львов) "Некоторые черты экспертной системы для отладки программ".

В.А. Костовский (Львов) "О спецификации абстрактных типов данных".