Computer algebra and differential equations. - Cambridge University Press, 1994. - ( London Mathematical Society Lecture Note series ; 193).