The real number system in an algebraic setting - Roberts, Joseph Buffington (W.H. Freeman, 1962)