Differential Equations with Symbolic Computation - Wang, Dongming; Zheng, Zhiming; Wang, Dongming; Zheng, Zhiming (Dordrecht Birkhäuser Basel, 2005)