Warning - the bibtex entry below may be invalid: 
Missing 'school' field
@phdthesis{HaguePhd2009,
  author = "M. Hague",
  note = "Submitted Jan 2009, minor corrections May 2009.",
  title = "Saturation Methods for Global Model-Checking Pushdown Systems",
  year = "2009",
}