Functional analysis : an introduction - Larsen, Ronald (rz1, 1973)