- Дейкстра Э. Дисциплина программирования
- Мейер Б. Объектно-ориентированное конструирование программных систем
- Hoare C. An axiomatic basis for computer programming
- Generics Tutorial
- Generics in the Java Programming Language
- JSR 14. Generics
- ECMA-262 ECMAScript 2021 Language Specification
- Современный учебник JavaScript
- Д. Флэнаган JavaScript. Подробное руководство, 6 издание
- ECMA-262 ECMAScript 2018 Language Specification
- Современный учебник JavaScript
- ECMA-262 ECMAScript Language Specification 5.1 edition
- ECMAScript 6 — New Features: Overview & Comparison
- Современный учебник JavaScript
- Clojure
- Clojure Cheat Sheet
- Clojure Documentation
- Daniel Higginbotham Clojure for the Brave and True
- Введение в Clojure
- Cursive: Clojure(Script) IDE
- Clojure
- Clojure Cheat Sheet
- Введение в Clojure
- Clojure
- Clojure Cheat Sheet
- Daniel Higginbotham Clojure for the Brave and True (Chapters 10, 12)
- Clojure
- Clojure Cheat Sheet
- Введение в Clojure
- Daniel Higginbotham Clojure for the Brave and True (Chapter 8)
- Yehonathan Sharvit Numbers and Arithmetics with functions only
- Yehonathan Sharvit Boolean Algebra
- Adventure in Prolog
- Wikibooks: Prolog
- tuProlog Home
- tuProlog Guide
- SWI-Prolog
- Задача о восьми ферзях
- Загадка Эйнштейна
- Unification
- Martelli-Montanari Algorithm
- Prolog DCG Primer
- Definite clause grammar
- Definite Clause Grammars