The structure of the real number system a programmed introduction. - Baum, John D. (Englewood Cliffs, N.J. Prentice-Hall, Inc., 1967)