The structure of real number system - Cohen, Leon W. (New Delhi Affiliated East-West Press, 1967)