Add another source for "First Draft of a Report on the EDVAC"
Add "Regular Expression Matcher"
Add "Reflections on Trusting Trust"
Add English version of "On Formally Undecidable Propositions of Principia Mathematica And Related Systems"
Add "An Axiomatic Basis for Computer Programming"
Add another link for "Computing machinery and intelligence"
Add "Paths, trees, and flowers"
Add "Scheme: An Interpreter for Extended Lambda Calculus"
Add "On the computational complexity of algorithms"
Add "Reducibility Among Combinatorial Problems"