Packel, Edward W.: Functional analysis : a short course. Huntington, NY : Krieger, 1980