1. Patrik Andersson. Exact real arithmetic with automatic error estimates in a computer algebra system. Master’s thesis, Mathematics department, Uppsala University, 2001.
2. Josef Berger. Exact calculation of inverse functions. Math. Log. Quart., 51(2):201–205, 2005.
3. Ulrich Berger. Program extraction from normalization proofs. In M. Bezem and J.F. Groote, editors, Typed Lambda Calculi and Applications, vol. 664 of LNCS, pp. 91–106. Springer Verlag, Berlin, Heidelberg, New York, 1993.
4. Errett Bishop. Foundations of Constructive Analysis. McGraw-Hill, New York, 1967.
5. Errett Bishop. Mathematics as a numerical language. In J. Myhill A. Kino and R.E. Vesley, editors, Intuitionism and Proof Theory, Proceedings of the summer conference at Buffalo N.Y. 1968, Studies in logic and the foundations of mathematics, pp. 53–71. North–Holland, Amsterdam, 1970.