Applied functional analysis - Balakrishnan, A. V. (Springer, 1981)