Functional analysis. - Yosida Kosaku (1995)