@phdthesis{letouzey04,
        author       = "P. Letouzey",
        month        = jul,
        school       = "Universit{\'e} Paris-Sud",
        title        = "Programmation fonctionnelle certifi{\'e}e -- L'extraction de programmes dans l'assistant {Coq}",
        year         = "2004"
}