On Zeilberger's algorithm and its q-analogue: a rigorous description
Tom H. Koornwinder · Data Archiving and Networked Services (DANS) · 1992
Gosper's and Zeilberger's algorithms for summation of terminating hypergeometric series as well as the q-versions of these algorithms are described in a very rigorous way. The paper is a companion to Maple V procedures implementing these algorithms. It concludes with the help information for these procedures.