Кудрявцева И. Актуальность развития содержания обучения теоретическому программированию. Известия Российского государственного педагогического университета им. А.И. Герцена. 2014;(168):110-116.
1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции: В 2 т. Синтаксический анализ. М.: Мир, 1978. Т. 1. 614 с.
2. Берд Р. Жемчужины проектирования алгоритмов: функциональный подход. М.: ДМК Пресс, 2013. 330 с.
3. Глушков В. М. Теорема о неполноте формальных теорий с позиций программиста//Кибернетика. 1979. № 2. С. 1-5.
4. Грис Д. Наука программирования/Пер. с англ. М.: Мир, 1984. 416 с.
5. Довек Ж., Леви Ж.-Ж. Введение в теорию языков программирования. М.: ДМК Пресс, 2013. 134 с.
6. Душкин Р. Модель типизации Хиндли -Милнера и пример ее реализации на языке Haskell//Практика функционального программирования. 2010. № 5. С. 89-105.
7. Ершов А. П. Введение в теоретическое программирование. М.: Наука, 1977. 288 с.
8. Кирпичев Е. Р. Элементы функциональных языков//Практика функционального программирования. 2009. № 3. С. 83-197.
9. Князева Е. Н. Настоящее и будущее трансдисциплинарных исследований//Будущее фундаментальной науки: Концептуальные, философские и социальные аспекты проблемы. М.: КРАСАНД, 2011. С. 248-258.
10. Котов В. Е., Сабельфельд В. К. Теория схем программ. М.: Наука, 1991. 248 с.
11. Кудрявцева И. А. Методика обучения бакалавров физико-математического образования математическим основаниям парадигм программирования: Автореф. дис. … канд. физ.-мат. наук. СПб.: Изд-во РГПУ им. А. И. Герцена, 2005. 20 с.
12. Лаптев В. В., Швецкий М. В. Методическая система фундаментальной подготовки в области информатики: Теория и практика многоуровневого педагогического университетского образования. СПб.: Изд-во Санкт-Петербургского университета, 2000. 508 с.
13. Менский М. Б. Человек и квантовый мир. Фрязино: Век2, 2007. 320 с.
14. Митчелл Дж. Основания языков программирования. М.; Ижевск: НИЦ Регулярная и хаотическая динамика, 2010. 720 с.
15. Непейвода Н. Н., Скопин И. Н. Основания программирования. М.; Ижевск, 2003. 868 с.
16. Пирс Б. Типы в языках программирования. М.: Лямбда пресс; Добросвет, 2012. 656 с.
17. Хоар Ч. Взаимодействующие последовательные процессы/Пер. с англ. М.: Мир, 1989. 264 с.
18. Холстед М. Х. Начала науки о программах. М.: Финансы и статистика, 1981. 128 с.
19. Хофштадтер Д. Гедель, Эшер, Бах: эта бесконечная гирлянда. Самара: Издательский дом «Бахрах»; М., 2001. 752 с.
