Functional analysis (Springer, 1992)