\begin{thebibliography}{99}

\bibitem{deBruijn} N. G. de Bruijn. {\em Defining Reals Without the Use of
Rationals.} Indagationes Mathematicae, vol. 38, no. 2, 1976.

\bibitem{burkill1} J. C. Burkill {\em A First Course in Mathematical Analysis.}
Cambridge 1962.

\bibitem{burkill} J. C. Burkill, H. Burkill. {\em A Second Course in
Mathematical Analysis.} Cambridge 1970.

\bibitem{burrill} C. W. Burrill. {\em Foundations of Real Numbers.} McGraw-Hill
1967.

\bibitem{cohen} L. W. Cohen, G. Ehrlich. {\em Structure of the real number
system.} Van Nostrand 1963.

\bibitem{conway} J. H. Conway. {\em On Numbers and Games.} Academic Press 1976.

\bibitem{dudley} R. M. Dudley. {\em Real Analysis and Probability.} Wadsworth
and Brooks / Cole 1989.

\bibitem{faltin} F. Faltin, N. Metropolis, B. Ross, G.-C. Rota. {\em The Real
Numbers as a Wreath Product.} Advances in Mathematics, vol. 16, pp. 278-304,
1975.

\bibitem{jones} C. Jones. {\em Completing the Rationals and Metric Spaces in
LEGO.} Proc. 2nd Workshop on Logical Frameworks, Edinburgh 1991.

\bibitem{jutting} L. S. Jutting. {\em Checking Landau's ``Grundlagen'' in the
Automath System.} PhD thesis, Eindhoven University of Technology 1977.

\bibitem{kelley} J. L. Kelley. {\em General Topology.} Van Nostrand 1955.

\bibitem{landau} E. Landau. {\em Foundations of analysis.} Chelsea 1951.

\bibitem{thurston} H. A. Thurston. {\em The number system.} Blackie 1956.

\end{thebibliography}
