References
- Sergeraert , F. 1986 . Calcul Symbolique et Formel , 5 : 97 – 101 .
- Eilenberg , S. and Mac Lane , S. 1953 . Annals of Mathematics , 58 : 55 – 106 .
- Steele , G. 1990 . Common Lisp. The language. Second Edition , United States of America : Digital Press .
- Hoare , C. A.R. 1972 . Acta Informatica , 1 : 271 – 281 .
- Sergeraert , F. 1990 . Astérisque , 192 : 57 – 67 .
- Lambán , L. , Pascual , V. and Rubio , J. 2003 . Applicable Algebra in Engineering, Communication and Computing , 14 : 187 – 215 .
- Phillips , I. C.C. 1992 . Background: Mathematical Structures , Vol. 2 , Oxford : Oxford University Press .
- Yap , Ch. K. 2000 . Fundamental Problems in Algorithmic Algebra , Oxford : Oxford University Press .
- Dousson , X. , Sergeraert , F. and Siret , Y. 1999 . The Kenzo Program , Grenoble : Institut Fourier . Available online at: http://www-fourier.ujf-grenoble.fr/∼sergerar/Kenzo/
- Rubio , J. and Sergeraert , F. 1997 . Lecture Notes Summer School in Fundamental Algebraic Topology , Grenoble : Institut Fourier . Available online at: http://www-fourier.ujf-grenoble.fr/∼sergerar/Summer-School/
- Rubio , J. and Sergeraert , F. 2002 . Bulletin des Sciences Mathématiques , 126 : 389 – 412 .
- Brown , R. 1967 . Celebrazioni Arch. Secolo XX, Simp. Top 34 – 37 .