- How Complex Systems Fail
- No Silver Bullet
- The Future of Computing: Logic or Biology
- Out of the Tar Pit
- More is Different
- Vannevar Bush - As We May Think
- Roam White Paper
- Social Processes and Proofs of Theorems and Programs
- Ten Challenges for Making Automation a “Team Player” in Joint Human-Agent Activity
- The Cuneiform Tablets of 2015
- Dijkstra - On the cruelty of really teaching computing science
- Parnas - Software Engineering Programs Are Not Computer Science Programs
- Licklider - Memorandum For Members and Affiliates of the Intergalactic Computer Network
- Licklider - Man-Computer Symbiosis
- Engelbart - A Conceptual Framework for the Augmentation of Man's Intellect
- The Design Philosophy of the DARPA Internet Protocols
- Compiler Construction - The Art of Niklaus Wirth
- A Programmable Programming Language
- One-pass Code Generation in V8
- Destination-Driven Code Generation
- Tracing the Meta-Level: PyPy’s Tracing JIT Compiler
- Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- Ackley - Pursue robust indefinite scalability
- Ackley - Best-effort computing with SPOTs and Spatial Threads
- Barton - A New Approach To The Functional Design of a Digital Computer (1961)
- Dennis - A preliminary architecture for a basic data-flow processor
- Lamport - Time, Clocks and the Ordering of Events in a Distributed System
- Lamport - The Byzantine Generals Problem
- Hoare - Communicating Sequential Processes
- Hoare - An Axiomatic Basis for Computer Programming
- Scott - Outline of a Mathematical Theory of Computation
- Scott, Strachey - Toward a Mathematical Semantics for Computer Languages
- Landin - The Next 700 Programming Languages
- Landin - The mechanical evaluation of expressions
- McCarthy - Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
- Backus - Can Programming Be Liberated from the von Neumann Style?
- Iverson - Notation as a Tool of Thought
- The Lambda Papers
- Adding Interactive Visual Syntax to Textual Code
- A New Implementation Technique for Applicative Languages
- C--: A Portable Assembly Language
- Implementing Functional Languages: A Tutorial
- A Tutorial on Combinator Graph Reduction
- A Combinator Processor
- Penrose: From Mathematical Notation to Beautiful Diagrams
- Cardelli - Can a Systems Biologist Fix a Tamagotchi?
- Cardelli - Abstract Machines of Systems Biology
- O'Neill - PCG: A Family of Simple Fast Space-Efficient Statistically Good Algorithms for Random Number Generation (2014)
- Moffat, Turpin - "On the Implementation of Minimum Redundancy Prefix Codes" (1997)
- Metropolis, Ulam - The Monte Carlo Method
- Kajiya - The Rendering Equation
- Bush - The Differential Analyzer