First course in functional analysis - Goffman Casper (Prentice Hall, 1965)