Papers in comp sci fundamentals and history
- A Method for Synthesizing Sequential Circuits
- 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)
- 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