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