CHURCH, A., The Calculi of Lambda-Conversion, Annals of Mathematics Studies, no. 6, Princeton, 1941, Princeton University Press.
 -, Introduction to Mathematical Logic, Princeton, 1952, Princeton University Press.
 DAVIS, M., Computability and Unsolvability, New York, 1958, McGraw-Hill.
 ERSHOV, A. P., On Operator Algorithms (Russian), Doklady Akademii Nauk, vol 122, no. 6, pp. 967-970.
 KLEENE, S.C., Recursive Predicates and Quantifiers, Transactions of the American Mathematical Society, vol. 53, 1953, p. 41.
 MCCARTHY, J., letter to the editor, Communications of the Association for Computing Machinery, vol. 2, August, 1959, p. 2.
 -, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I, Communications Of the ACM, vol. 3, April, 1960, pp. 184-195.
 -, The LISP Programmer's Manual, M.I.T. Computation Center, 1960.
 -, Computer Programs for Checking Mathematical Proofs, to be published in the Proceedings of the American Mathematical Society's Symposium on Recursive Function Theory, held in New York, April, 1961.
 -, Programs With Common Sense, Proceedings of the Teddington Conference on the Mechanization of Thought Processes, H. M. Stationery Office, 1960.
 MARKOV, A.A., Theory of Algorithms (Russian), Moscow, 1954, USSR Academy of Sciences, Steklov Mathematical Institute.
 NAUR, P., et al., Report on the Algorithmic Language ALGOL 60, Communications of the ACM, vol. 3, May 1960.
 TURING, A.M., On Computable Numbers with an Application to the
Entscheidungs Problem, Proceedings of the London Mathematical Society, ser. 2, vol. 43, 1937, p. 230; correction, ibid, vol. 43, 1937, p. 544.
 YANOV, Y.I., The Logical Schemes of Algorithms, from Problems of Cybernetics I, translated from the Russian by Nadler, Griffiths, Kiss, and Muir, New York, 1960, Pergamon Press Ltd., pp. 82-140.