F. J. Dyson, Distribution of eigenvalues for a class of real symmetric matrices, Rev. Mex. Fís. 20, (1971).