@phdthesis{Hague2008,
  author = "M. Hague",
  note = "Submitted May 2008",
  school = "Oxford University",
  title = "Global Model Checking of Higher-Order Pushdown Systems",
  year = "2008",
}