Real analysis. - Royden H L (1988)