С.В. Быкова, М.Н. Головчинер, Л.А. Николаева, М.И. Бычкова (Томск) "Отладка программ на языке ЛЯПАС в системе ТОМЛЕС".

А.А. Левашников (Томск) "Тестирование синтаксического анализатора схем в языке СЛОГ".

И.А. Ломазова (Красноярск) "О корректности пошаговой реализации программ с абстрактными типами данных".

И.А.Ломазова (Красноярск), А.В. Проскурин (Ленинград) "Процедурная реализация алгебраических спецификаций модулей".

Е.В. Тришина (Новосибирск) "Тип данных ПОТОК как средство трансформационного синтеза эффективных функциональных программ".

С.Г. Ракша "О поиске инвариантов в виде линейных неравенств применительно к задачам анализа программ".

М.В. Мишурная, А.В. Соболев, Г.Н. Черников (Минск) "Семейство языков разработки алгоритмов и программ".

А.В. Бобович, А.Н. Лавриненко, Ф.Н. Никитин (Ленинград) "Язык спецификаций информационного обеспечения САПР".

Е.Т. Боян (Кишинев) "Анализ и синтез функционально структурированных программ".

И.М. Галкин, И.Н. Могилянский, Н.Л. Образкова, В.М. Романов (Минск) "Об эволюции одного метода синтеза программ обработки файлов".

Г.Г. Горохов, А.С. Крюченков (Москва) "Методы синтеза и отладки программ на языке MUMPS".

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

Т.И. Салинская (Кишинев) "О корректности синтеза программного продукта в технологии композиционного программирования".

Д.В. Бондаренко "Тестирование на функциональную эквивалентность".

В.М. Амочкин, М.В. Юрьев, И.В. Янчилина "Применение метода дуального программирования при разработке программ отображения информации в системе реального времени".

И.И. Ульяновский (Москва) "Комбинированный подход к синтезу программ и основы его реализации".

Е.Е. Витяев (Новосибирск) "Индуктивный синтез пролог-программ методом обнаружения закономерностей".

И.С. Пыльцов (Томск) "Вопросы разработки средств анализа характеристик программ".

В.М. Антимиров (Киев) "Семантика частичной конкретизации параметрических типов данных".

Т.А. Шапошникова "Поливариантные смешанные вычисления для алголо-подобных программ".