1. P. Aczel. An Introduction to inductive definitions. In Handbook of Mathematical Logic, J. Barwise (ed.), pp. 739–782. North Holland, Amsterdam, 1977.
2. P. Aczel and S. Feferman. Consistency of the Unrestricted Abstraction Principle using an Intensional Equivalence Operator. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. P. Seldin and J. R. Hindley, eds., Academic Press, London, 1980.
3. H. P. Barendregt. The Lambda Calculus, North Holland, Amsterdam, 1984, 2nd reprint edition in paperback, 1997.
4. J. Barwise. Scenes and other situations. J. Philosophy, 78, 369–397, 1981.
5. J. Barwise and J. Etchemendy. The Liar, Oxford University Press, Oxford, 1987.