F. J. Dyson, “Distribution of eigenvalues for a class of real symmetric matrices”, Rev. Mex. Fís., vol. 20, no. 4, pp. 231–237, Jan. 1971.