Symbolic integration I : - Bronstein, Manuel (Algorithms and computation in mathematics, 1997)