К прогнозному докладу о направлениях в теоретическом программировании.

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

по развитию работ на период до 1995 г. в группе систем программирования баз данных.

о лаборатории искусственного интеллекта отдела информатики ВЦ СО АН СССР.

о работе группы школьной информатики ВЦ СО АН СССР.

сделанные в школах Академгородка. (Приложены к прогнозному докладу о работе группы школьной информатики ВЦ СО АН СССР).

Направления работ отделов информатики и программирования.