@PHDTHESIS{BoulmePhD00,
  AUTHOR = {Sylvain Boulm\'e},
  TITLE = {Sp\'ecification d'un environnement d\'edi\'e \`a la programmation certifi\'ee de biblioth\`eques de Calcul Formel},
  SCHOOL = {Universit\'e Paris 6},
  YEAR = 2000,
  TYPE = {Th\`ese de Doctorat}
}