@techreport{HJ11UFPTech,
  title = "Proving The Unique Fixed-Point Principle Correct",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "CS-RR-2011-03",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
}