Involution : the formal theory of differential equations and its applications in computer algebra - Seiler, Werner M. (Algorithms and computation in mathematics,, 2009)