Structure of the real number system - Cohen, Leon W (1969)