An axiomatic basis for computer programming
C. A. R. Hoare
Communicating Sequential Processes (CSP)
C. A. R. Hoare
Call-by-name, call-by-value, and the lambda calculus
Gordon Plotkin
Towards a theory of type structure
John C. Reynolds
Definitional interpreters for higher-order programming languages
John C. Reynolds
Philip S. Abrams
Henry Baker's Archive of Research Papers (many classic Lisp papers)
The Anatomy of a Large-Scale Hypertextual Web Search Engin
Sergey Brin and Lawrence Page
No Silver Bullet: Essence and Accidents of Software Engineering
Frederic P. Brooks, Jr.
A Mathematical Theory of Communication
Claude Shannon
Communication Theory of Secrecy Systems
Claude Shannon
Bayesian Networks without Tears
Eugene Charniak
A Universal Algorithm for Sequential Data Compression
Jacob Ziv and Abraham Lempel
A Relational Model of Data for Large Shared Data Banks 1970
Edgar F. Codd
Let's Build a Compiler 1988-1995
Jack Crenshaw
Gauging Similarity via N-Grams: Language-Independent Sorting, Categorization, and Retrieval of Text
Marc Damashek
Richard P. Gabriel
Hints on Programming Language Design
C.A.R. Hoare
Why Functional Programming Matters
John Hughes
Kenneth E. Iverson
The Early History Of Smalltalk
Alan Kay
Computer Programming as an Art
Donald E. Knuth
The next 700 programming languages
Peter J. Landin
Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960
John McCarthy
FORTH - A Language for Interactive Computing
Charles H.Moore
Teach Yourself Programming in Ten Years 2001
Peter Norvig
Parenthetically Speaking, a collection of essays from the 1990s
Kent M. Pitman
The Definition and Implementation of a Computer Language based on constraints
Guy Lewis Steele Jr.
Guy Lewis Steele Jr.
Alan J. Perlis
The Complexity of Theorem Proving Procedures
Stephen A. Cook
Steps Toward Artificial Intelligence
Marvin Minsky
Guy Steele and Gerald Sussman
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
R.L. Rivest, A. Shamir, and L. Adleman
Dennis Ritchie and Ken Thompson
http://www.zafar.se/bkz/Articles/ClassicCompScienceTexts
http://www.zafar.se/bkz/wiki/view/43bafac8c8570f4f
にあったけど、無くなっていたので
http://web.archive.org/web/20060823143349/www.zafar.se/bkz/home/classictextsincomputersc.html
から拾ってきた。
でも書いてる途中に↓を見つけてしまったのでした。
]]>