1.
Принципы построения базовой машины
М.: Мир, 1973 - 119 с
2.
Рекурсивные методы в программировании
М.: Мир, 1974, - 80 с
3.
Феномен Форта
Новосибирск. Системная информатика. Вып.4. Методы теоретического и системного программирования. 1995. С. 193-271
4.
Макропроцессоры и мобильность программного обеспечения
М. "Мир", 253 с
5.
Информатика. Основополагающее введение
М.: "Диалог-МИФИ", 1996. - 299 с
6.
Как проектируются и создаются программные комплексы
М. "Наука", 1979. - 151 с
7.
Мифический человеко-месяц
М.: Символ-Плюс, 2000. - 304 с
8.
М.: Интернет-Университет Информационных технологий, 2004. - 272 с
9.
Дисциплина программирования
М. "Мир", 1978, 275 с
10.
Применение теории графов в программировании
М.: Наука, 1985
11.
Структурное проектирование и конструирование программ
М. "Мир" , 1979. - 409 с
12.
Трудно выполнимая миссия или экстремальное программирование
13.
Введение в операционные системы
М.: МИР, 1975. - 116 с
14.
Программы, жизненные циклы и законы эволюции программного обеспечения
М. "Мир", ТИИЭР, том 68-9, 1980. - С. 26-45
15.
Вложенные сети Петри
М. "Научный мир", 207 с
16.
Язык программирования АПЛ
М. "Радио и связь", 96 с
17.
Языки программирования. Разработка и реализация
М. "Питер", 2002, 688 с
18.
Эмпирическое сравнение семи языков программирования
М.: Открытые системы, 12(56), 2000. - С. 45-52
19.
Лекции по конструированию компиляторов
М.: ВЦ РАН, 1994. - 175 с
20.
Мини-ЭВМ PDP-11: Программирование на языке ассемблера и организация машины
М.: "Мир", 1984. 272 с
21.
Распределенные системы. Принципы и парадигмы
М.: "Питер", 876 с
22.
Программирование на платформе .Net
М. "Вильямс", 2003. - С. 367
23.
Функциональное программирование
М.: Мир, 1983
24.
Сравнительное изучение языков программирования
М.: Мир, 1974. - 204 с
25.
Взаимодействующие последовательные процессы
М.: "Мир", 1989. 264 с
26.
Математические основы обработки информации
Новосибирск, 1982. - 92 с
27.
О школьных олимпиадах по программированию
Труды Междунар. Конф. "Перспективы систем информатики", секция "Школьная информатика", Новосибирск, 2001. - С. 96-99
28.
Язык программирования Си
М.: Радио и связь. 1988. 96 с
29.
Хрестоматия по программированию на Си в Unix
1995
30.
Программирование на языке Алмо
М.: Статистика, 1976. - 118 с
31.
Трансляция языков программирования
М.: Мир, 1977. - 190 с
32.
Об одном подходе к синтезу транслятора на примере языка Литтл.
в сб. Теория и практика системного программирования. Новосибирск, 1977. - с. 60-71
33.
Подход к декомпозиции систем программирования для пошагового их определения
В сб. Трансляция и оптимизация программ. - Новосибирск, 1984. - С. 23-34
34.
Язык программирования Снобол-4
М.: Мир, 1980. - 268 с
35.
Симула -67 универсальный язык программирования
М.: Мир, 1969. - 99 с
36.
Программирование микропроцессора 8088
М.: Мир, 1988. - 357 с
37.
Язык программирования Лого
М.: Радио и связь, 1991. - 145 с
38.
Научные основы доказательного программирования. Избранные труды
Новосибирск, Наука, 1994
39.
Смешанные вычисления: потенциальные приложения и проблемы исследования
Тезисы докладов и сообщений. Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.2, Вильнюс, 1980, с. 26-55
40.
Руководство к пользованию системой Альфа
Новосибирск, Наука, 1968. - 179 с
42.
Многоязыковая транслирующая система
Новосибирск, 1987. - 151 с
43.
Язык начального обучения Робик в учебной системе программирования
Новосибирск, 1982, Сб. "Программное обеспечение задач информатики", с. 72-85
44.
Синтаксически ориентированный транслятор
М.: Мир, 1969. - 174 с
45.
Лекции по теории формальных языков, автоматов и сложности вычислений
Новосибирск, 1995. - 112 с
46.
Экстремальное программирование. Постановка процесса с первых шагов и до победного конца
49.
Язык сверхвысокого уровня СЕТЛ
Новосибирск. "Наука", 1983. 160 с
50.
Освой самостоятельно Python
М. "Вильямс", 444 с
51.
Язык программирования Поляр: описание, использование, реализация
Новосибирск, 1986. - 94 с
52.
Реляционный язык Пролог и его применение
М.: "Наука", 1990, 463с
53.
Определение языков программирования интерпретирующими автоматами
М.: Мир, 1977, 288 с
54.
Практическое руководство по функционально-ориентированной разработке ПО
М.: "Вильямс", 2002. - 304 с
55.
Введение в программирование на языке ассемблера
Новосибирск, 1992. - 180 с
56.
Автокод Эльбрус
М.: Наука, 1982. - 350 с
57.
Язык Плэнер
М.: Наука, 1983. - 208 с
58.
Система СОКРАТ: Окружение программирования для встроенных систем
Новосибирск, 1992.-20с. (Препр./РАН. Сиб. отд-ние. ИСИ; N11)
59.
Руководство по языку Оккам
Новосибирск, 1987. - 75 с
60.
Теория программирования Новосибирск, 1995. - 105 с
Новосибирск, 1995. - 105 с
61.
Модели жизненного цикла программного обеспечения
Новосибирская школа программирования. Перекличка времен. Новосибирск, 2004. - С. 120-173
62.
Мобильность программ и особенности реализации языка Си
М.: МИП "Память" 1992. 86 с
63.
Микропроцессор 80286
Рязань, 1992. 224 с
64.
Функциональное программирование
М. Мир, 1993. - 638с
65.
Програмное обеспечение и его разработка
М.: "Мир", 368 с
66.
Автоматический синтаксический анализ
М.: Мир, 1075. - 71 с
67.
Технические аспекты создания программных систем
М.: Статистика, 1979, - 180 с
68.
Проектирование и конструирование компиляторов
М.: Финансы и статистика, 19984. - 232 с
69.
Методы компиляции
М.: Мир, 1982. - 160 с
70.
Структурный подход к программированию
М.: Мир, 1985
71.
Мир Лиспа
М.: Наука, 1994, т.1,2
72.
Мини-ЭВМ: Организация и программирование
М.: финансы и статистика, 1983. - 359 с
73.
Введение в программирование для ЭВМ БЭСМ-6 Новосибирск, 1971. - 66 с
Новосибирск, 1971. - 66 с
74.
ANSI Common Lisp
Prentice Hall,1996, 432p
75.
Method and Notation for the Formal Definition of Programming Languges
IBM Laboratory, Venna, TR 25.087, 1968
76.
LISP 1.5 Programming Mannual
The MIT Press., Cambridge, 1963, 106p
77.
Inside COM/DCOM
Microsoft Press. 1997. - 376 p
78.
The Psychology of Computer Programming
New York: Van Norstand Reinhold Comp., 1971
85.
Язык функционального программирования SISAL
Интеллектуализация и качество программного обеспечения, Новосибирск, 1994, с. 21-42
86.
Программирование на языке Паскаль М.: Мир, 1982, - 384 с
М.: Мир, 1982, - 384 с
87.
LNCS 2863, "UML" 2003
The Unified Modeling Language, 2003
88.
О базовом языке
В сб.: Языки и системы программирования. - Новосибирск, 1979, с. 85-106