@unpublished{Hague2006,
  author = "Matthew Hague",
  note = "DPhil. Transfer Thesis",
  title = "Automata, Model Checking and Synthesis for Linear Time Temporal Logics",
  year = "2006",
}