Modular Algorithms in Symbolic Summation and Symbolic Integration - Gerhard, Jürgen; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2005)