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