1. Doron Zeilberger, Deconstructing the Zeilberger algorithm, J. Difference Equ. Appl. 11 (2005), no. 9, 851–856.[MR]