Differential equations with symbolic computation - Wang, Dongming; Zheng, Zhiming (Birkhauser Verlag, 2005)