@PHDTHESIS{bodden09phd,
  title = {{Verifying finite-state properties of large-scale programs}},
  author = {Bodden, Eric},
  note = {Available through ProQuest.},
  publisher = {McGill University},
  year = {2009},
  month= jun,
}