• P. J. Landin. The next 700 programming languages. Commun. ACM, 1966. [ACM Guide]
• E. W. Dijkstra. Go to statement considered harmful. Commun. ACM, 1968.
• E. W. Dijkstra. The humble programmer. Commun. ACM, 1972. [ACM Guide]
• D. L. Parnas. On the criteria to be used for decomposing systems into modules. Commun. ACM, 1972. [ACM Guide]
• D. E. Knuth. Computer science and its relation to mathematics. Amer. Math. Monthly, 1974. [JSTOR]
• P. Naur. Programming languages, natural languages, and mathematics. Commun. ACM., 1975. [ACM Guide]
• J. Backus. Can computers be liberated from the von Neumann style? Commun. ACM, 1978. [ACM Guide]
• C. A. R. Hoare. The emperor's old clothes. Commun. ACM, 1981. [ACM Guide]
• J. C. Reynolds. Definitional interpreters for higher-order programming languages. Higher-Order and Symb. Comput., 1998. [Springerlink]
• C. Strachey. Fundamental concepts of programming languages. Higher-Order and Symb. Comput., 2000. [Springerlink]
• C. Strachey, C. P. Wadsworth. Continuations: a mathematical semantics for handling full jumps. Higher-Order and Symb. Comput., 2000. [Springerlink]