@PhdThesis{Revy09,
  author    = {Guillaume~Revy},
  title     = {Implementation of binary floating-point arithmetic on embedded integer processors - 
               Polynomial evaluation-based algorithms and certified code generation},
  school    = {Universit\'e de Lyon - {\'E}cole Normale Sup\'erieure de Lyon},
  address   = {46 all\'ee d'Italie, F-69364 Lyon cedex 07, France},
  month     = {December},
  year      = {2009},
}