Real and functional analysis - Lang, Serge (Graduate texts in mathematics, 1993)