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