A couple years ago Mike Eisenberg, a fellow Project MAC (Abelson/Sussman)
alum now a prof. in the CS dept. at CU-Boulder, put together a course &
reading list of the "canon" works in CS. Here's where the list stood as of
7/99, it's worth FoRK-ing for the record (and so I don't have to search
through half my archives again...). Personal bias: I'd add at least one
crypto paper to the list, most likely W. Diffie and M.E. Hellman, "New
Directions in Cryptography," IEEE Transactions on Information Theory, IT-22,
n. 6, Nov 1976, pp. 644-654.
COMPUTER SCIENCE: THE CANON
Proposed Automatic Calculating Machine 
Ada Augusta, Countess of Lovelace
Notes on the Analytical Engine 
Of the Analytical Engine 
Can Programming Be Liberated from the von Neumann Style?
A Functional Style and its Algebra of Programs 
Berkeley, Edmund C.
Giant Brains, or Machines that Think 
An Investigation of the Laws of Thought 
As We May Think 
The Mythical Man-Month 
Clarke, Arthur C.
2001: A Space Odyssey 
Go To Statement Considered Harmful 
Solution of a Problem in Concurrent Programming Control 
Feynman Lectures on Computation [1983-6]
Columns on John Conway's game of Life [~1970]
On Formally Undecidable Propositions of Principia Mathematica
and Related Systems 
Reducibility among Combinatorial Problems 
The Art of Computer Programming 
On His Calculating Machine 
McCarthy, J. et al.
LISP 1.5 Programmer's Manual 
What is a Number, that a Man May Know It, and a Man, that He
May Know a Number? 
McCulloch, W. and Pitts, W.
A Logical Calculus of the Ideas Immanent in Nervous Activity 
Minsky, M. and Papert, S.
The Napier Rods 
Naur, P. et al.
Revised Report on the Algorithmic Language ALGOL 60 
Newell, A. and Simon, H.
Computer Science as Empirical Inquiry: Symbols and Search 
On His Calculating Machine [c. 1650]
The Mathematical Theory of Communication 
A Chess-Playing Machine 
Sketchpad: A Man-Machine Graphical Communication System 
Depth-First Search and Linear Graph Algorithms 
Computing Machinery and Intelligence 
On Computable Numbers, with an Application to the Entscheidungsproblem
Von Neumann, J.
First Draft of a Report on the EDVAC 
The General and Logical Theory of Automata 
This archive was generated by hypermail 2b29 : Fri Apr 27 2001 - 23:17:42 PDT