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