Computations with parameters: a theoretical background
A. L. Chistov

References
1.	A. Ayad, “Complexity of solving parametric polynomial systems”, Zap. Nauchn. Semin. POMI, 387, 2011, 5–52
2.	D. Lazard, F. Rouillier, “Solving parametric polynomial systems”, J. Symbolic Comput., 42:6 (2007), 636–667