Functional analysis - Walter Rudin (McGraw-Hill, 1991)