Computer Algebra And Symbolic Computation by Joel S. Cohen