Functional analysis - Rudin, Walter (1992)