@incollection{JaH09Ref,
  title = "A reflection-based proof tactic for lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2009",
  booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
  chapter = "7",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
  isbn = "9781841504056",
  location = "Kom\'{a}rno, Slovakia",
  month = "June",
  note = "\url{http://www.intellectbooks.co.uk/books/view-Book,id=4740/}",
  pages = "97--112",
  publisher = "Intellect",
  series = "TFP'09",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}