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 and M. Rathjen , Notes on constructive set theory. Technical Report 40. Institut Mittag–Leffler. Royal Swedish Academy of Sciences. 2001.
 E. Bishop and D. Bridges , Constructive analysis. Grundlehren der Matheraatischen Wissenschaften. vol. 279. Springer–Verlag, Heidelberg, 1985.
 D. Bridges , A constructive proximinality property of finite–dimensional linear spaces. Rocky Mountain Journal of Mathematics, vol. 11 (1981), no. 4, pp. 491–497.
 D. Bridges , Recent progress in constructive approximation theory, The L.E.J. Brouwer Centenary Symposium ( A.S. Troelstra and D. van Dalen , editors). North–Holland, Amsterdam, 1982, pp. 41–50.
 D. Bridges and F. Richman , Varieties of constructive mathematics, London Mathematical Society Lecture Notes, vol. 97, Cambridge University Press, 1987.
 K-I Ko . Complexity theory of real functions, Birkhäuser, Boston–Basel–Berlin. 1991.
 U. Kohlenbach , Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Annals of Pure and Applied Logic, vol. 64 (1993), pp. 27–94.