Recursive Algorithms - Cohen, Joel S (Computer Algebra and Symbolic Computation, 2002)