Self-adjoint operators. - Faris William (1975)