这是一份了不起的列表，链接全部为 pdf 文档，敬请收藏。
<a href=”http://www.spatial.maine.edu/%7Eworboys/processes/hoare%20axiomatic.pdf” target=”_blank”>An axiomatic basis for computer programming</a>
C. A. R. Hoare
<a href=”http://www.usingcsp.com/” target=”_blank”>Communicating Sequential Processes (CSP)</a>
C. A. R. Hoare
<a href=”http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf” target=”_blank”>Call-by-name, call-by-value, and the lambda calculus</a>
Gordon Plotkin
<a href=”ftp://ftp.cs.cmu.edu/user/jcr/theotypestr.pdf” target=”_blank”>Towards a theory of type structure</a>
John C. Reynolds
<a href=”http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pdf” target=”_blank”>Structured Programming with go to Statements</a>
Donald E. Knuth
<a href=”ftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz” target=”_blank”>Definitional interpreters for higher-order programming languages</a>
John C. Reynolds
<a href=”http://www.slac.stanford.edu/pubs/slacreports/slac-r-114.html” target=”_blank”>An APL Machine 1970</a>
Philip S. Abrams
<a href=”http://www.pipeline.com/%7Ehbaker1/” target=”_blank”>Henry Baker's Archive of Research Papers (many classic Lisp papers)</a>
Henry Baker
<a href=”http://www-db.stanford.edu/pub/papers/google.pdf” target=”_blank”>The Anatomy of a Large-Scale Hypertextual Web Search Engine</a>
Sergey Brin and Lawrence Page
<a href=”http://www-inst.eecs.berkeley.edu/%7Emaratb/readings/NoSilverBullet.html” target=”_blank”>No Silver Bullet: Essence and Accidents of Software Engineering</a>
Frederic P. Brooks, Jr.
<a href=”http://www.unil.ch/webdav/site/ling/shared/ElementStatText/Shannon1948.pdf” target=”_blank”>A Mathematical Theory of Communication</a>
Claude Shannon
<a href=”http://www.cs.ucla.edu/%7Ejkong/research/security/shannon1949.pdf” target=”_blank”>Communication Theory of Secrecy Systems</a>
Claude Shannon
<a href=”http://www.cs.ubc.ca/%7Emurphyk/Bayes/Charniak_91.pdf” target=”_blank”>Bayesian Networks without Tears</a>
Eugene Charniak
<a href=”http://www.stanford.edu/class/ee398a/resources/ziv:77-SDC.pdf” target=”_blank”>A Universal Algorithm for Sequential Data Compression</a>
Jacob Ziv and Abraham Lempel
<a href=”http://www.cs.duke.edu/%7Ejunyang/cps216/papers/codd-1970.pdf” target=”_blank”>A Relational Model of Data for Large Shared Data Banks 1970</a>
Edgar F. Codd
<a href=”http://compilers.iecc.com/crenshaw/” target=”_blank”>Let's Build a Compiler 1988-1995</a>
Jack Crenshaw
<a href=”http://gnowledge.sourceforge.net/damashek-ngrams.pdf” target=”_blank”>Gauging Similarity via N-Grams: Language-Independent Sorting…</a>
Marc Damashek
<a href=”http://www.dreamsongs.com/WorseIsBetter.html” target=”_blank”>Worse Is Better</a>
Richard P. Gabriel
<a href=”http://www.cs.berkeley.edu/%7Enecula/cs263/handouts/hoarehints.pdf” target=”_blank”>Hints on Programming Language Design</a>
C.A.R. Hoare
<a href=”http://www.math.chalmers.se/%7Erjmh/Papers/whyfp.pdf” target=”_blank”>Why Functional Programming Matters</a>
John Hughes
<a href=”http://www.ccs.neu.edu/scheme/pubs/scp91-felleisen.ps.gz” target=”_blank”>On the Expressive Power of Programming Languages</a>
Matthias Felleisen
<a href=”http://www.research.ibm.com/journal/rd/174/ibmrd1704F.pdf” target=”_blank”>The Design of APL</a>
Kenneth E. Iverson
<a href=”http://www.metaobject.com/papers/Smallhistory.pdf” target=”_blank”>The Early History Of Smalltalk</a>
Alan Kay
<a href=”http://fresh.homeunix.net/%7Eluke/misc/knuth-turingaward.pdf” target=”_blank”>Computer Programming as an Art</a>
Donald E. Knuth
<a href=”http://www.cs.utah.edu/%7Ewilson/compilers/old/papers/p157-landin.pdf” target=”_blank”>The next 700 programming languages</a>
Peter J. Landin
<a href=”http://www-formal.stanford.edu/jmc/recursive.html” target=”_blank”>Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960</a>
John McCarthy
<a href=”http://www.cs.wisc.edu/%7Ebolo/shipyard/4th_1970/4th_1970.html” target=”_blank”>FORTH – A Language for Interactive Computing</a>
Charles H.Moore
<a href=”http://www.norvig.com/21-days.html” target=”_blank”>Teach Yourself Programming in Ten Years 2001</a>
Peter Norvig
<a href=”http://www.nhplace.com/kent/PS/About-PS.html” target=”_blank”>Parenthetically Speaking, a collection of essays from the 1990s</a>
Kent M. Pitman
<a href=”ftp://publications.ai.mit.edu/ai-publications/500-999/AITR-595.ps” target=”_blank”>The Definition and Implementation of a Computer Language based on constraints</a>
Guy Lewis Steele Jr.
<a href=”http://www.cs.umbc.edu/331/resources/papers/gls-grow-lang.pdf” target=”_blank”>Growing a Language</a>
Guy Lewis Steele Jr.
<a href=”http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html” target=”_blank”>Epigrams on Programming</a>
Alan J. Perlis
<a href=”http://www.cs.helsinki.fi/u/gionis/cc05/cook.pdf” target=”_blank”>The Complexity of Theorem Proving Procedures</a>
Stephen A. Cook
<a href=”http://web.media.mit.edu/%7Eminsky/papers/steps.html” target=”_blank”>Steps Toward Artificial Intelligence</a>
Marvin Minsky
<a href=”http://library.readscheme.org/page1.html” target=”_blank”>The Original 'Lambda Papers'</a>
Guy Steele and Gerald Sussman
<a href=”http://theory.lcs.mit.edu/%7Erivest/rsapaper.pdf” target=”_blank”>A Method for Obtaining Digital Signatures and Public-Key Cryptosystems</a>
R.L. Rivest, A. Shamir, and L. Adleman
<a href=”http://cm.bell-labs.com/cm/cs/who/dmr/cacm.html” target=”_blank”>The UNIX Time-Sharing System</a>
Dennis Ritchie and Ken Thompson