Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra - Seiler, Werner M. (Springer Berlin Heidelberg, 2010)