@inproceedings{Gibbons93:Formal,
  title = "Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit",
  author = "Jeremy Gibbons",
  year = "1993",
  booktitle = "Proceedings of the 13th New Zealand Computer Society Conference",
  editor = "John Hosking",
  pages = "207--217",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/formal.ps.gz",
}