1. J. McCarthy, Computer programs for checking mathematical proofs, Proc. Sympos. Pure Math. Vol. 5, Amer. Math. Soc., Providence, R. I., 1962, pp. 219-227.
2. ------, "A basis for a mathematical theory of computation" in Computer programming and formal systems, edited by P. Braffort and D. Hershberg, North-Holland, Amsterdam, 1963.
3. ------, Towards a mathematical theory of computation, Proc. Internat. Congr. on Information Processing, 1962.
4. ------, A formal description of a subset of Algol, Proc. Conf. on Formal Language Description Languages, Vienna, 1964.