на книгу Ю.И. Манина "Доказуемое и недоказуемое". /Текст рукописный./

на книгу Ю.И. Манина "Доказуемое и недоказуемое". /Черновик./

"25 лет информатики в ВЦ СО АН СССР", подготовленная для сборника, посвященного 25-летию Сибирского отделения АН СССР. /Не была использована./

"25 лет информатики в ВЦ СО АН СССР", подготовленная для сборника к 25-летию СО АН СССР. /Не использована. Текст рукописный./

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

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

редактора перевода работы В. Турского "Методология программирования".

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

"Klaus Samelson", посвященной памяти ученого.

"О проекциях Футамуры"; написана в Токио для журнала "BIT". /Текст рукописный./

"О проекциях Футамуры". /Текст машинописный./

редактора перевода книги Б. Мейера и К. Бодуэна "Методы программирования". /Текст рукописный./

редактора перевода работы Б. Мейера и К. Бодуэн "Методы программирования".

к сборнику научных трудов "Прикладные методы информатики" (Новосибирск, 1980).

"Mixed Computation: Potential Applications and Problems for Study". /Текст машинописный./