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