@phdthesis{heunen:phdthesis,
  title = "Categorical quantum models and logics",
  author = "Chris Heunen",
  year = "2009",
  institution = "Radboud University Nijmegen",
  isbn = "978 90 8555 024 2",
}