Ehrlich, G. The structure of the real number system - 1963. viii-116 - Van Nostrand. New Jersey, U.S.A.