Involution [electronic resource] : The Formal Theory of Differential Equations and