Computer Algebra and Symbolic Computation. + CD - Cohen, Joel S (Universities Press, 2005)