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