This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
 P. Aczel , The type theoretic interpretation of constructive set theory, Logic Colloquium '77 ( A. MacIntyre , L. Pacholski , and J. Paris , editors). North Holland, 1978. pp. 55–66.
 P. Aczel , The type theoretic interpretation of constructive set theory: Choice principles, The L. E. J. Brouwer Centenary Symposium ( A. S. Troelstra and D. van Dalen , editors). North Holland, 1982, pp. 1–40.
 J. Barwise , Admissible Sets and Structures, Springer-Verlag, 1975.
 M. Beeson , Foundations of Constructive Mathematics, Springer-Verlag, 1985.
 L. Crosilla and M. Rathjen , Inaccessible set axioms may have little consistency strength, Annals of Pure and Applied Logic, vol. 115 (2002). pp. 33–70.
 H. Friedman , Some applications of Kleene's methodfor intuilionistic systems, Cambridge Summer School in Mathematical Logic ( A. Mathias and H. Rogers , editors). Lectures Notes in Mathematics, vol. 337, Springer, 1973, pp. 113–170.
 H. Friedman , The disjunction property implies the numerical existence properly, Proceedings of the National Academy of Sciences of the United States of America, vol. 72 (1975), pp. 2877–2878.
 H. Friedman , Set-theoretic foundations for constructive analysis, Annals of Mathematics, vol. 105 (1977), pp. 868–870.
 H. Friedman and S. Ščedrov , Set existence property for intuilionistic theories with dependent choice, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 129–140.
 H. Friedman and S. Ščedrov , The lack of definable witnesses and provably recursive functions in intuitionistic set theory, Advances in Mathematics, vol. 57 (1985). pp. 1–13.
 G. Kreisel and A. S. Troelstra , Formal systems for some branches of intuitionistic analysis, Annals of Mathematical Logic, vol. 1 (1970), pp. 229–387.
 D. C. McCarty , Realizability and recursive set theory, Annals of Pure and Applied Logic, vol. 32 (1986), pp. 153–183.
 J. R. Moschovakis , Disjunction and existence in formalized intuitionistic analysis, Sets, Models and Recursion Theory ( J. N. Crossley , editor), North-Holland, 1967, pp. 309–331.
 J. Myhill , Some properties of intuitionistic Zermelo-Fraenkel set theory, Cambridge Summer School in Mathematical Logic ( A. Mathias and H. Rogers , editors). Lecture Notes in Mathematics, vol. 337. Springer, 1973, pp. 206–231.
 A. S. Troelstra , Realizability. Handbook of Proof Theory ( S. R. Buss , editor), Elsevier, 1998, pp. 407–473.