Real and complex analysis - Walter Rudin (1987)