structure of the Real number system - Ehrlich, G. (New York Van Nostrand-Reinhold Company, 1963)