Introductory functional analysis with applications - Kreyszig, Erwin (1978)