@article{AbrDun:CQLv2:2004,
  title = "A Categorical Quantum Logic",
  author = "Samson Abramsky and Ross Duncan",
  year = "2006",
  journal = "Mathematical Structures in Computer Science",
  note = "Preprint available at http://arxiv.org/abs/quant-ph/0512114",
  number = "3",
  pages = "469-489",
  volume = "16",
  doi = "10.1017/S0960129506005275",
}