Brereton, J., A. Farid, M. Karnib, G. Marple, A. Quenon, and A. Tefera. “Combinatorial and Automated Proofs of Certain Identities”. The Electronic Journal of Combinatorics, Vol. 18, no. 2, June 2011, p. P14, doi:10.37236/2010.