Advanced real analysis, along with a companion basic real analysis - Knapp, Anthony W (Boston Birkhauser, 2010)