Real analysis - Lang, Serge 1927-2005 (Addison-Wesley, Advanced Book Program/World Science Division, 1983)