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