EIGENFUNCTION EXPANSIONS FOR FORMALLY SELF-ADJOINT PARTIAL DIFFERENTIAL OPERATORS. I - Browder, Felix E. (1956)