1. Barendregt, “The Lambda Calculus”, North Holland, 1981.
2. Freyd & Heller, Splitting homotopy invariants (unpublished manuscript to appear in Festschrift for Alex Heller).
3. Klop, Combinatory Reduction Systems, Mathematical Centre Tracts, 127, Math Centrum Amsterdam, 1980.
4. Lambek, From lambda calculus to Cartesian closed categories, Seldin & Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, 1980 (Curry festschrift).
5. Matiyasevich, Diophantine representation of recursively enumerable predicates in Fenstad ed., Proceedings of the Second Scandanavian Logic Symposium. North Holland, 1971.