Basic methods of linear functional analysis - Pryce, J D (Pure mathematics, 1973)