1. M. J. Beeson, Metamathematics of constructive analysis, Ph.D. Thesis, Stanford University, 1971.
2. E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, New York, 1967).
3. E. Bishop, Mathematics as a numerical language, in: Intuitionism and Proof Theory, ed. J. Myhill, A. Kino, and R. E. Vesley (North-Holland, Amsterdam, 1970) 53–71.
4. K. Gödel, On intuitionistic arithmetic and number theory, trans. M. Davis, in: The Undecidable, ed. M. Davis (Raven Press, Hewlett, N.Y., 1965) 75–81.
5. N. D. Goodman, Intuitionistic arithmetic as a theory of constructions, Ph.D. Thesis, Stanford University, 1968.