The structure of the real number system. - Cohen, L.W. (Princeton, New Jersey D.Van Nostrand Company, Inc., 1963)