Elements of functional analysis - Hirsch, F. (Springer, 1999)