1. McCarthy, J.: 1963, ‘A Basis for a Mathematical Theory of Computation’, in: Braffort, P. and Hirshberg, D. (eds.), Computer Programming and Formal Systems, North-Holland, Amsterdam.
2. McCarthy, J.: 1962, ‘Checking Mathematical Proofs by Computer’, Proc. Symp. on Recursive Function Theory (1961). Amer. Math. Soc.