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