Functional analysis - Rudin, Walter (1977)