@MASTERSTHESIS{BoulmeDEA97,
  YEAR = 1997,
  TITLE = {Vers la sp\'ecification formelle d'une preuve d'un algorithme non trivial de calcul formel},
  TYPE = {Stage de {D}.{E}.{A}},
  SCHOOL = { Universit\'e de Paris 6},
  AUTHOR = {S. Boulm\'e}
}