@InProceedings{letouzey02,
  author =       {Pierre Letouzey},
  title =        {{A New Extraction for Coq}},
  booktitle =    {{Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002}},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       2646,
  year =         2003,
  editor =       {Herman Geuvers and Freek Wiedijk}
}