1. Michael J. Beeson, Foundations of Constructive Mathematics, Springer—Verlag, Heidelberg, 1985.
2. Errett Bishop, Foundations of Constructive Analysis, McGraw—Hill, New York, 1967.
3. Errett Bishop and Douglas Bridges, Constructive Analysis, Grundlehren der math. Wissenschaften 279, Springer—Verlag, Heidelberg, 1985.
4. Douglas Bridges, “A constructive look at positive linear functionals on L(H) ”,Pacific J. Math. 95(1), 11–25, 1981.
5. Douglas Bridges, “A constructive look at the real number line”, in Synthèse: Real Numbers, Generalizations of the Reals and Theories of Continua (P. Ehrlich, ed.), pp. 29–92, Kluwer Academic Publishers, Amsterdam, 1994.