@PHDTHESIS{PrevostoPhD03,
  AUTHOR = {Virgile Prevosto},
  TITLE = {Conception et Implantation du langage FoC pour le d\'eveloppement de logiciels certifi\'es},
  SCHOOL = {Universit\'e Paris 6},
  YEAR = 2003,
  TYPE = {Th\`ese de doctorat},
  MONTH = {September},
  PS = {papiers/these.ps.gz}
}