Involution the formal theory of differential equations and its applications in computer algebra - Seiler Werner M (New York Springer-Verlag, 2010)
Keywords: Algebra-data processing; Differential equations