1. R.D. Arthan. A Report on ICL HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, and Philip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications. IEEE Computer Society Press, 1992.
2. F.A. Behrend. A Contribution to the Theory of Magnitudes and the Foundations of Analysis. Mathematische Zeitschrift, 63:345–362, 1956.
3. John H. Conway. On Numbers and Games. A.K. Peters Ltd., Second edition, 2001.
4. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
5. H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.