Real analysis - Royden, H L (New York, 1968)