1. H. Barendregt, in: Combinatory Logic and the Axiom of Choice, 1973, pp. 203–221.
2. Goodmanʼs theorem and beyond;Beeson;Pacific J. Math.,1979
3. Foundations of Constructive Mathematics. Metamathematical Studies;Beeson,1985
4. Program Verification in a Logical Theory of Constructions;Dybjer,1985
5. Relativized realizability in intuitionistic arithmetic of all finite types;Goodman;J. Symbolic Logic,1978