1. D. Bayer, The division algorithm and the Hilbert scheme, Thesis, Harvard University, Cambridge, MA, 1982.
2. What can be computed in algebraic geometry?;Bayer, Dave,1993
3. A criterion for detecting 𝑚-regularity;Bayer, David;Invent. Math.,1987
4. D. Bayer and M. Stillman, Macaulay, a system for computation in Algebraic Geometry and Commutative Algebra, 1992, available via anonymous ftp from math.harvard.edu.
5. I. Bermejo and M. Lejeune-Jalabert, Sur la compléxité du calcul des projections d’une courbe projective, to appear in Comm. in Algebra.