Real analysis - Royden, H L (1988)