@inproceedings{AbrDun:CQLv1:2004,
  title = "A Categorical Quantum Logic",
  author = "Samson Abramsky and Ross Duncan",
  year = "2004",
  booktitle = "Proceedings of the 2nd International Workshop on Quantum Programming Languages",
  edition = "Selinger, Peter",
  keywords = "quantum computing; compact closed categories; proof-nets",
  note = "This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version.",
  series = "Turku Centre for Computer Science General Publication",
  url = "http://quasar.mathstat.uottawa.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf",
  volume = "33",
}