Introduction to Symbolic Computation
http://homepages.math.uic.edu/~jan/mcs320/mcs320notes/index.html#