Papers in comp sci fundamentals and history
- An Axiomatic Basis for Computer Programming
- Back to the Future: The Story of Squeak, A Practical Smalltalk Written in Itself
- Early LISP History: 1956-1959
- Equimorphy Type of Pairs of Compacta
- Hints for Computer System Design
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
- The Bell System's Adjustment in 1955