An introductory course in functional analysis - Bowers, Adam (Springer,, 2014)