Applied functional analysis - Oden J Tinsley (Englewood Cliffs Prentice Hall, 1979)