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