Paule, P. “Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type”. The Electronic Journal of Combinatorics, Vol. 1, no. 1, July 1994, p. R10, doi:10.37236/1190.