Modular Algorithms in Symbolic Summation and Symbolic Integration - Gerhard, Jürgen (Springer Berlin Heidelberg, 2005)