Real analysis - Lang, Serge (Addison Wesley, 1969)