Functional analysis - Rudin, Walter (McGRaw-Hill, Inc, 1991)