к сборнику "Математическая теория и практика систем программного обеспечения"; труды советско-болгарского совещания. /Текст рукописный./

к сборнику "Математическая теория и практика систем программного обеспечения"; труды советско-болгарского совещания.

редактора к сборнику НГУ "Проблемы системного и теоретического программирования". /Текст рукописный./

редактора к сборнику НГУ "Проблемы системного и теоретического программирования".

"От редактора" к монографии Д.Я. Левина "Язык сверхвысокого уровня СЕТЛ и его реализация для ЭВМ БЭСМ-6". /Текст рукописный./

"От редактора" к монографии Д.Я. Левина "Язык сверхвысокого уровня СЕТЛ и его реализация для ЭВМ БЭСМ-6".

"А.А. Ляпунов и программирование" для "Сибирского математического журнала".

редактора к сборнику научных трудов ВЦ СО АН "Программное обеспечение задач информатики". /Текст рукописный./

редактора к сборнику научных трудов ВЦ СО АН "Программное обеспечение задач информатики".

с издательством "Мир" на редактирование перевода книги П. Хендерсона "Функциональное программирование. Применение и реализация".

"Персональная ЭВМ - предок млекопитающих в динозавровом мире ВЦКП", сделанный на всесоюзной конференции "Диалог-82-Микро" в Пущино. /Текст рукописный./

доклада "ПЭВМ - личное оружие системного программиста".

для доклада "ПЭВМ - личное оружие системного программиста".

"Трансформационная семантика операторных структурированных программ". /Черновик - наброски текста, список литературы, схема./

Выписка из статьи "A Practical Method for Testing Algebraic Specification". Авторы - J. Tardo, J. Goguen, N. Williamson.

"Систематическое построение программы решения частной задачи из некоторого класса методом смешанных вычислений на примере синтаксических анализаторов". /Текст рукописный./

"Систематическое построение программы решения частной задачи из некоторого класса методом смешанных вычислений на примере синтаксических анализаторов". /Текст машинописный./