- An Axiomatic Basis for Computer Programming - Hoare, 1969
- Fundamental Concepts in Programming Languages - Strachey, 1967
- Growing a Language - Steele, 1998
- Hints on Programming Language Design - Hoare, 1973
- Monads for Functional Programming - Wadler, 1992
- Notation as a Tool of Thought - Iverson, 1980
- On Understanding Types, Data Abstraction, and Polymorphism - Cardelli & Wegner, 1985
- Out of the Tar Pit - Moseley & Marks, 2006
- Programming with Abstract Data Types - Liskov & Zilles, 1974
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I - McCarthy, 1960
- The Emperor's Old Clothes - Hoare, 1980
- The Essence of Functional Programming - Wadler, 1992
- The Next 700 Programming Languages - Landin, 1966
- The Roots of Lisp - Graham, 2002
- Why Functional Programming Matters - Hughes, 1989