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