- AAECC-10: Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes - 10th International Symposium, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 - Proceedings
- Solving Polynomial Equation Systems II
- Solving Polynomial Equation Systems III: Volume 3, Algebraic Solving
- Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond
- Effective Methods in Algebraic Geometry