Seem reasonably concise, but I think Kreyzsig's Introduction to Functional Analysis with Applications fills the "gap" that this paper wants to fill. It's readable, has applications, exercises, and is more complete.