@phdthesis{Duncan:thesis:2006,
  title = "Types for Quantum Computing",
  author = "Ross Duncan",
  year = "2006",
  institution = "Oxford University",
  note = "This thesis was the runner up for the British Computer Society Distinguished Dissertation award.",
  url = "http://www.bcs.org/server.php?show=conMediaFile.10119",
}