Functional analysis. - Yosida Kosaku (1978)