Andrews, G. E. "The Zeilberger-Bressoud Theorem." §4.3 in q-Series:
Their Development and Application in Analysis, Number Theory, Combinatorics, Physics,
and Computer Algebra. Providence, RI: Amer. Math. Soc., pp. 36-38, 1986.Dyson,
F. "Statistical Theory of the Energy Levels of Complex Systems. I." J.
Math. Phys.3, 140-156, 1962a.Dyson, F. "Statistical
Theory of the Energy Levels of Complex Systems. II." J. Math. Phys.3,
157-165, 1962b.Dyson, F. "Statistical Theory of the Energy Levels
of Complex Systems. III." J. Math. Phys.3, 166-175, 1962c.Good,
I. J. "Short Proof of a Conjecture by Dyson." J. Math. Phys.11,
1884, 1970.Gunson, J. "Proof of a Conjecture of Dyson in the Statistical
Theory of Energy Levels." J. Math. Phys.3, 752-753, 1962.Wilson,
K. G. "Proof of a Conjecture by Dyson." J. Math. Phys.3,
1040-1043, 1962.