Real number system in an algebraic setting - Roberts, J B (1962)