1. Backus, John 1980 Programming in America in the 1950’s — Some personal impressions. In: A History of Computing in the Twentieth Century, eds. N. Metropolis, J. Howlett, and Gian-Carlo Rota, pp. 125–135. New York: Academic (1980).
2. Backus, John 1981 The history of Fortran I, II, and III. Transcript of discussion. In: History of Programming Languages, ed. R.L. Wexelblat, pp. 25–73. New York: Academic (1981).
3. Davis, Martin 1958 Computahility and Unsolvability. New York: McGraw-Hill (1958); reprinted by Dover (New York) (1983). 1982 Lectures at ‘Atlanta State’. Ann. Hist. C. 4 (1982) 370-371.
4. Davis, Martin 1982a Why Gödel didn’t have Church’s thesis. Inf. Contr. 54(1982) 3–24.
5. Davis, Martin 1983 The prehistory and early history of automated deduction. In: Automation of Reasoning, eds. Jörg Siekman and Graham Wrightson, vol. 1, pp. 1–28. Berlin/ Heidelberg/New York: Springer-Verlag (1983).