Functional analysis - Rudin, Walter (1974)