Self-Adjoint Operators by W.G. Faris