@inproceedings{Hin08Exp,
  title = "Exploiting Unique Fixed Points (Invited Lecture)",
  author = "Hinze, Ralf",
  year = "2008",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "9th International Conference on Mathematics of Program Construction (MPC '08)",
  editor = "Audebaud, Philippe and Paulin-Mohring, Christine",
  location = "Marseille (Luminy), France",
  month = "jul",
  pages = "1",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "5133",
  doi = "10.1007/978-3-540-70594-9_1",
}