Real analysis - Royden, H. L., 1928-1993 (Pearson, 2010)