[1] Rubio, J., Homologie effective des
espaces de lacets itérés : un logiciel, Thèse,
Institut Fourier, Grenoble, 1991.
[2] Rubio, J. and Sergeraert, F., Locally
effective objects and Algebraic Topology, in Computational
Algebraic Geometry, Birkäuser, 1993,
pp. 235-251.
[3] Rubio, J., Sergeraert, F.,and Siret, Y.,
EAT: Symbolic Software for Effective Homology
Computation, ftp://fourier.ujf-grenoble.fr/pub/EAT,
Institut Fourier, Grenoble, 1997.
[4] Sergeraert, F., The computability
problem in algebraic topology, Advances in Mathematics,
1994, vol. 104, pp. 1-29.
[5] Maclane & Birkhoff, Algebra, The MacMillan Company, 1967.