1. Aczel, P.: 1968, ‘Saturated intuitionistic theories’, in Schmidt, et al. [1968], pp. 1–11.
2. Barendregt, H. P.: 1981, The Lambda Calculus. Its Syntax and Semantics, North-Holland, Amsterdam.
3. Beeson, M.: 1979, ‘A theory of constructions and proofs’, Preprint No. 134. Dept. of Math. Utrecht University.
4. Beeson, M.: 1985, Foundations of Constructive Mathematics. Metamathematical Studies, Springer-Verlag, Berlin.
5. Brouwer, L. E. J.: 1907, Over de Grondslagen der Wiskunde, Thesis, Amsterdam. Translation ‘On the foundations of mathematics’, in Brouwer [1975], pp. 11–101. New edition in Brouwer [ 1981 ].