1. Aberth, O.: 1980, Computable Analysis, McGraw-Hill.
2. Aczel, P.: 1977, ‘An introduction to inductive definitions’, in Barwise (1977), pp. 739–782.
3. Aczel, P.: 1987, Lectures on Nonwellfounded Sets, CSLI Lecture Notes, No. 9, Center for Study of Language and Infonnation, Stanford.
4. Ax, J. and Kochen, S.: 1965, ‘Diophantine problems over local fields I, II’, Amer. J. Math. 87,605–30.
5. Barendregt, H.: 1977, ‘The type free lambda calculus’, in Barwise (1977), pp. 1091–1132.