Волкова И. А., Вылиток А. А., Руденко Т. В. Формальные грамматики и языки. Элементы теории трансляции. М.: Изд-во МГУ, 1999. (Шифр в библиотеке МГУ: 5ВГ66 В-676; PDF-файл http)
Волкова И. А., Головин И. Г., Карпов Л. Е.. Системы программирования (Учебное пособие) (1.2 Мбайт). - М.: Издательский отдел факультета ВМиК МГУ, 2009.
Волкова И. А., Головин И. Г., Карпов Л. Е.. Основы объектно-ориентированного программирования. Язык программирования С++. Учебное пособие для студентов 2 курса (969.63 Кбайт). - М.: Издательский отдел факультета ВМК МГУ, 2011.
Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.
Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции, т.1,2 М.: Мир, 1979.
Бек Л. Введение в системное программирование. М.: Мир, 1988.
Ахо А., Сети Р., Ульман Дж. Компиляторы. М.: Изд. дом Вильямс, 2001. (Шифр в библиотеке МГУ: 5ВГ66 А-955)
Гордеев А. В., Молчанов А.Ю. Системное программное обеспечение. СПб.: Питер, 2001
Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ , 2-е издание. М. СПб.: Издательство Бином Невский диалект,1998. (Шифр в библиотеке МГУ: 5ВГ66 Б-947; HTML-текст в zip-архиве 2,5 МБ http)
Элиенс А. Принципы объектно-ориентированной разработки программ, 2-е издание. М.: Издательский дом Вильямс, 2002. (Шифр в библиотеке МГУ: 5ВГ66 Э-460)
Одинцов И. О. Профессиональное программирование. Системный подход. СПб.: БХВ-Петербург, 2002. (Шифр в библиотеке МГУ: 5ВГ66 О-425)
Мансуров Н. Н., Майлингова О. Л. Методы формальной спецификации программ: языки MSC и SDL. М.: Изд-во Диалог-МГУ, 1998. (Шифр в библиотеке МГУ: 5ВГ66 М-238)
Вендров А. М. CASE-технологии. Современные методы и средства проектирования информационных систем. Электронная публикация на CITFORUM.RU
Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. М.: Мир, 1999. (Шифр в библиотеке МГУ: 5ВГ66 Ф-282)
Майерс Г. Искусство тестирования программ. М.: Финансы и статистика, 1982
Канер С., Фолк Дж., Нгуен Е. К. Тестирование программного обеспечения. М.: DiaSoft, 2001
Макгрегор Дж., Сайкс Д. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие. М.: DiaSoft, 2002
Страуструп Б. Язык программирования С++. Специальное издание. М.: Издательство БИНОМ, 2001. (Шифр в библиотеке МГУ: 5ВГ66 С-835)
Шилдт Г. Самоучитель С++. 3-е изд. СПб: БХВ-Петербург, 2002. (Шифр в библиотеке МГУ: 5ВГ66 Ш-576)
Волкова И. А., Головин И. Г., Мальковский М. Г. Модельный SQL-интерпретатор. М.: Изд-во МГУ, 1999. (Шифр в библиотеке МГУ: 5ВГ66 В-676; PDF-файл 370 Кб http, ftp)