Structure of the real number system - Baum John D; Dobyns Roy A (1975)
Keywords: real number