@inproceedings{Simpson_2006,
  title = "Logic, damned logic, and statistics",
  author = "A. C. Simpson",
  year = "2006",
  booktitle = "Proceedings of Teaching Formal Methods 2006",
}