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