An introduction to functional analysis - Swartz, Charles (1992)