1. R. Hartshorne, Algebraic Geometry, Springer-Verlag, New York–Heidelberg–Berlin (1977).
2. A. L. Chistov, “Polynomial complexity algorithm for factoring polynomials and constructing components of a variety in subexponential time,” Zap. Nauchn. Semin. POMI, 137, 124–188 (1984).
3. A. L. Chistov, “Polynomial–time computation of the degrees of algebraic varieties in zero–characteristic and its applications,” Zap. Nauchn. Semin. POMI, 258, 7–59 (1999).
4. A. L. Chistov, “Strong version of the basic deciding algorithm for the existential theory of real fields,” Zap. Nauchn. Semin. POMI, 256, 168–211 (1999).
5. A. L. Chistov, “Efficient construction of local parameters of irreducible components of an algebraic variety,” Proc. St. Petersburg Math. Soc., 7, 230–266 (1999).