The Structure Of The Real Number System A Programmed Introduction - Baum,John D. and Dobyns,Roy A. (Princeton -Hall Mathematical Series, 1967)