The Mathematica guidebook for symbolics - Trott, Michael (Springer, 2006)