@MISC{FechterFMOODS02,
  AUTHOR = {St\'ephane Fechter},
  TITLE = {An object-oriented model for the certified computer algebra library },
  HOWPUBLISHED = {Paper presented at FMOODS 2002 PhD workshop },
  MONTH = MAR,
  YEAR = 2002,
  NOTE = {\url{http://www-spi.lip6.fr/~fechter}{http://www-spi.lip6.fr/~fechter}}
}