Functional analysis - Lax, Peter (2014)