Functional analysis An introduction. - Larsen Ronald (1973)