Functional analysis - Yosida, Kosaku (1974)