First course in functional analysis - Goffman, Casper (Prentice-Hall series in modern analysis, 1996)