1. Real Algebraic Geometry;Bochnak,1998
2. Sur la vie et l’œuvre de François Budan (1761–1840);Borowczyk;Historia Mathematica,1991
3. Algorithms in Real Algebraic Geometry;Basu,2006
4. Budan de Boislaurent, Nouvelle méthode pour la résolution des équations numériques d’un degré quelconque, Paris, 1822. Contains in the appendix a proof of Budan’s theorem edited by the Académie des Sciences (1811).
5. Generalized Budan–Fourier theorem and virtual roots;Coste;Journal of Complexity,2005