Functional analysis. - Devito Carl L (1978)