Real analysis - Royden, H L (Prentice Hall, 1988)