Elements of functional analysis - Maddox, I. J. (1992)