1. Вольфенгаген В. Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. М.: АО «Центр ЮрИнфоР», 2003. 336 с.

2. Канке В. А. Основные направления и концепции науки. Итоги XX столетия. М.: Логос, 2000. 320 с.

3. Коротков А. В., Кудрявцева И. А. К определению понятия «парадигма программирования» // Теоретические и методические проблемы обучения в школе и вузе (математика, информатика): Межвузовский сборник научных трудов. СПб.; Мурманск, 2005. С.107-112.

4. Лаптев В. В., Рыжова Н. И., Швецкий М. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки. СПб.: Изд-во Санкт-Петербургского университета, 2003. 352 с.

5. Лаптев В. В., Швецкий М. В. Методическая система фундаментальной подготовки в области информатики: теория и практика многоуровневого педагогического университетского образования. СПб.: Изд-во Санкт-Петербургского университета, 2000. 508 с.

6. Математический энциклопедический словарь. М.: Сов. энциклопедия, 1988; 1995. 847 с.

7. Першиков В. И., Савинков В. М. Толковый словарь по информатике. М.: Финансы и статистика, 1995. 543 с.

8. Рыжова Н. И., Голанова А. В., Швецкий М. В. Упражнения по теории алгоритмов: Учебное пособие для студентов математического факультета. СПб.: Дмитрий Буланин, 2000. 304 с.

9. Сондерс М. Лингва эзотерика // LINUX Format, март 2007, 3 (90). С.42-45.

10. Успенский В. А., Семенов А. Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.

11. Философский словарь. М.: Политиздат, 1987. 590 с.

12. Хиндли Дж. Р. Комбинаторы и лямбда-исчисление. Краткий обзор / Математическая логика в программировании: Сб. статей 1980-1988 гг. М.: Мир, 1991. С.119-140.

13. Bridgman P. W. The nature of some of our physical concepts. N. Y., 1952.