Dyson, F. J. (1971). Distribution of eigenvalues for a class of real symmetric matrices. Revista Mexicana De Física, 20(4), 231–237. Retrieved from https://rmf.smf.mx/ojs/index.php/rmf/article/view/993