Real number - Royden H L (1959)
Keywords: Real number