@misc{          fk:cfaq04,
  author        = "Hugo Herbelin and Florent Kirchner and Benjamin Monate and Julien Narboux",
  title         = "Coq Version 8.0 for the Clueless (174 Hints), \url{http://coq.inria.fr/doc/faq.html}",
  year          = 2004,
}