The structure of the real number system a programmed introduction. - Baum, John D. (Prentice-Hall mathematics series, 1967)