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