Functional analysis. - Rudin Walter (1973)