1. Davenport, J., Siret, Y., and Tournier, E., Computer Algebra, London: Academic, 1988.
2. Schenck, Hal., Computational Algebraic Geometry, Cambridge: Cambridge University Press, 2003.
3. Cox, D., Little, J., and O’Shea, D., Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, New York: Springer, 1998.
4. Pommaret, J.F., Systems of Partial Differential Equations and Lie Pseudogroups, Gordon and Breach, 1978.
5. Seiler, W.M., Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Algorithms and Computation in Mathematics), Springer, 2010.