First course in functional analysis - Goffman, Casper (Prentice hall series in modern analysis, 1974)