Basic methods of linear functional analysis - Pryce, John D. (Pure Mathematics, 1973)