The Mathematica guidebook for symbolics - Trott, Michael (Springer Science+Business Media, 2006)