разных лет

Языковая основа применений ЭВМ. - "Журнал вычислительной математики и математической физики", Т.11, №2, 1971 /отдельный оттиск/

Эвристическое программирование /машинописная рукопись/. Опубликован в Трудах 2-й Всесоюзной конференции по программированию. - Новосибирск: изд. ВЦ СО АН СССР, 1970

"О решении задач на ЭВМ и доказательстве правильности программ". Опубликована в сб. "Проблемы прикладной математики и механики". - М.: "Наука", 1971

"О семантических моделях" /текст машинописный/

Исправления в книге С.С. Лаврова "Универсальный язык программирования (АЛГОЛ-60)" для 3-го издания 1972 г. и предисловие к 3-му изданию.

С.С. Лавров, А.А. Ордян, “Об одном расширении алгоритма Кнута для анализа бесконтекстных языков”, Ж. вычисл. матем. и матем. физ., 15:4 (1975), 1006–1019 /отдельный оттиск/

на книгу "Управление вычислительными процессами" п/ред. М.Б. Игнатьева. "Журнал вычислительной математики и математической физики", Т.14 №2, 1974 /отдельный оттиск/

М.В. Дмитриева, С.С. Лавров, "Синтаксические анализаторы магазинного типа", Программирование, 3 (1978), 41-45 /отдельный оттиск/

"Транслятор с автокода". Ленинград, 1974. Работа является одной из дополнительных глав к книге С.С. Лаврова "Введение в программирование". /текст машинописный/

Обзор основных понятий программирования. Ленинград, 1975 /текст машинописный/

В.Ю. Бакенрот, Т.П. Балкунова, С.С. Лавров, "Об одной процедуре упорядочения массивов", Программирование, 4 (1978), 85-86 /отдельный оттиск/

С.С. Лавров, "Методы задания семантики языков программирования (обзор)", Программирование, 6 (1978), 3-10 /отдельный оттиск/

С,В. Вдовкин, А.А. Кубенский, С.С. Лавров, В.О. Сафонов, "Реализация языка Паскаль для МВК "Эльбрус", Программирование, 3 (1981), 62-64 /отдельный оттиск/

С.С. Лавров, Д.П. Захарченко. Lisp-1204

С.С. Лавров, Л.А. Залогова, Т.И. Петрушина, "Принципы планирования решения задач в системе автоматического синтеза программ", Программирование, 3 (1982), 35-43 /отдельный оттиск/

"Алгоритм А.Я. Диковского для синтеза в базисе функциональных зависимостей, работающих в линейное время" /распечатка с рукописной правкой/

Синтез программ (в частности, система СПОРА), "Кибернетика". The synthesis of programs (particularly in the SPORA system)

С.С. Лавров, "Синтез программ* /* в частности, система СПОРА", Кибернетика, 6 (1982), 11-16 /отдельный оттиск/

S.S. Lavrov, "The System SPORA", В сб. трудов международного коллоквиума Automated Data Retrieval in Astronomy (Страсбург, 7-10 июля 1981), 1982, 135-143 /оттиск/

"Общая характеристика системы APX-432 фирмы ИНТЕЛ" /текст машинописный/