- "Turing, On computable numbers, with an application to the Entscheidungsproblem" by Alan Turing
- As a PDF: Turing, On computable numbers, with an application to the Entscheidungsproblem
- As a collection of single images: Turing, On computable numbers, with an application to the Entscheidungsproblem by Alan Turing
- Mealy, A Method for Synthesizing Sequential Circuits by George H. Mealy
- 📜 Back to the Future - The Story of Squeak, A Practical Smalltalk Written in Itself by Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace & Alan Kay
- 📜 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy
- 📜 An Axiomatic Basis for Computer Programming by C. A. R. HOARE
- On the Computational Complexity of Algorithims by J. HARTMANIS AND R. E. STEARNS
- 📜 Hints for Computer System Design
- 📜 Early Lisp History: 1956-1959 by Herbert Stoyan. This is a pdf rendering of the HTML page available at Archive.org.
- 📜 Why Programming is a good medium for expressing poorly understood and sloppily-formulated ideas by Marvin Minsky