@inproceedings{Danielsson*2006:Fast,
  title = "Fast and Loose Reasoning is Morally Correct",
  author = "Nils Anders Danielsson and Jeremy Gibbons and John Hughes and Patrik Jansson",
  year = "2006",
  booktitle = "Principles of Programming Languages",
  month = "jan",
  pages = "206-217",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf",
}