@article{hamilton_2007, 
  title={Distilling Programs for Verification}, 
  volume={190}, 
  DOI={10.1016/j.entcs.2007.09.005}, 
  publisher={Elsevier BV}, 
  author={Hamilton}, 
  year={2007}
  }