Технологии программирования
- Теоретико-графовые методы в программировании (Материалы международной конференции SORUCOM 2011, 12–16 сентября 2011 года)
- История объектно-ориентированного программирования
- Код RADIX-50
- Автоматное программирование
- Развитие отечественной технологии программирования (pdf, 148 Кб)
- Развитие идей академика В.М. Глушкова по технологии компьютеров, систем и программ (pdf, 651 Кб)
- Фрагменты статьи «Великое пробуждение искусственного интеллекта» и кое-что ещё
- Валидация автоматных спецификаций
