@inproceedings{capretta:2001,
  author     = "Venanzio Capretta",
  title      = "Certifying the Fast Fourier Transform with Coq",
  editor     = "Richard J. Boulton and Paul B. Jackson",
  booktitle  = "Theorem Proving in Higher Order Logics:
                14th International Conference, TPHOLs 2001",
  series     = "Lecture Notes in Computer Science",
  volume     = 2152,
  year       = 2001,
  publisher  = "Springer-Verlag",
  pages      = "154--168"
}