Elements of functional analysis - Hirsch, Francis (New York Springer-Verlag, 1999)