Symbolic Computation by Robert Grossman