1. Computing the first few Betti numbers of semi-algebraic sets in single exponential time;Basu;J. Symbolic Comput.,2006
2. J. Bochnak, M. Coste, M.F. Roy, Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, vol. 36, Springer, 1998.
3. G.E. Bredon, Topology and geometry, Graduate Texts in Mathematics, vol. 139, Springer, New York, 1997.
4. Counting complexity classes for numeric computations I: semilinear sets;Bürgisser;SIAM J. Comput.,2003
5. P. Bürgisser, F. Cucker, Variations by complexity theorists on three themes of Euler, Bézout, Betti, and Poincaré, in: J. Krajicek (Ed.), Complexity of Computations and Proofs, Quaderni di Matematica, vol. 13, Department of Mathematics, Seconda Università di Napoli, Caserta, Napoli, Italy, 2005, pp. 73–152.