@inproceedings{HL11-cav,
  title = "Model Checking Recursive Programs with Numeric Data Types",
  author = "Matthew Hague and Anthony Widjaja Lin",
  year = "2011",
  booktitle = "Computer Aided Verification (CAV)",
  note = "Prototypical implementation: <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.tgz">[tgz]</a>  <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.txz">[txz]</a>.",
}