@inproceedings{HJ11UFP,
  title = "Proving the unique fixed-point principle correct: an adventure with category theory",
  author = "Hinze, Ralf and James, Daniel W.H.",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  month = "September",
  pages = "359--371",
  publisher = "ACM",
  series = "ICFP '11",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/unique.html",
  doi = "10.1145/2034773.2034821",
}