Faris: Self-adjoint operators (1975)