@inproceedings{paper81,
  author = "S. Abramsky and R. Duncan",
  booktitle = "Mathematical Structures in Computer Science, 16",
  pages = "469-489",
  title = "A Categorical Quantum Logic",
  year = "2006",
}