Functional analysis. (1980)