1. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry, 2nd edn. Springer, Berlin (2006). Revised version of the first edition online at http://perso.univ-rennes1.fr/marie-francoise.roy/
2. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry, 2nd edn. Springer, Berlin (1998)
3. Bernstein, S.: Sur la représentation des polynômes positifs. Soobshch. Har’k. Mat. Obshch. 2(14), 227–228 (1915). Collected Papers of S.N. Bernstein, vol. 1, Constructive Theory of Functions (1905–1930), pp. 251–252. Academy of Sciences, USSR (1952)
4. Bugeaud, Y., Mignotte, M.: Private communication (2005)
5. Caruso, F.: The SARAG library. In: Proceedings of the ICMS ’06. Springer, Berlin (2006). Stable version included in maxima: http://maxima.sourceforge.net/, last version online at http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-posted1.html