Functional analysis - Lax, Peter D. (Wiley-Interscience, 2002)