Functional analysis - Lebedev, L P, et al (2010)