The Mathematica GuideBook for Symbolics - Trott, Michael (Springer New York, 2006)