From：http://blog.csdn.net/g9yuayon/article/details/1512851
· 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· Structured Programming with go to Statements Donald E. Knuth· Definitional interpreters for higher-order programming languages John C. Reynolds· An APL Machine 1970 Philip S. Abrams· The Anatomy of a Large-Scale Hypertextual Web Search Engine 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· Bayesian Networks without Tears· A Universal Algorithm for Sequential Data Compression· A Relational Model of Data for Large Shared Data Banks 1970 Edgar F. Codd· Let's Build a Compiler 1988-1995· Gauging Similarity via N-Grams: Language-Independent Sorting... Marc Damashek· Worse Is Better Richard P. Gabriel· Hints on Programming Language Design C.A.R. Hoare· Why Functional Programming Matters John Hughes· On the Expressive Power of Programming Languages Matthias Felleisen· 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· The Definition and Implementation of a Computer Language based on constraints Guy Lewis Steele Jr.· Growing a Language Guy Lewis Steele Jr.· Epigrams on Programming Alan J. Perlis· The Complexity of Theorem Proving Procedures Stephen A. Cook· Steps Toward Artificial Intelligence Marvin Minsky· The Original 'Lambda Papers' Guy Steele and Gerald Sussman· The UNIX Time-Sharing System Dennis Ritchie and Ken Thompson