Functional analysis - Rudin, Walter (1985)