Symbolic Mathematics Using Maxima (2007)
arachnoid.com