@incollection(abramskycoecke:cqm,
 author       = "Samson Abramsky and Bob Coecke",
 year         = "2008",
 title        = "Categorical quantum mechanics",
 booktitle    = "Handbook of quantum logic and quantum structures: quantum logic",
 publisher    = "Elsevier",
 pages        = "261--324",
 doi          = "10.1016/B978-0-444-52869-8.50010-4",
)
@incollection(abramskyheunen:hstar,
 author       = "Samson Abramsky and Chris Heunen",
 year         = "2012",
 title        = "H*-algebras and nonunital {F}robenius algebras: first steps in infinite-dimensional categorical quantum mechanics",
 booktitle    = "Mathematical Foundations of Information Flow",
 series       = "Clifford Lectures, Proceedings of Symposia in Applied Mathematics",
 volume       = "71",
 publisher    = "American Mathematical Society",
 pages        = "1--24",
 doi          = "10.1090/psapm/071/599",
)
@article(choieffros:injectivity,
 author       = "Man-Duen Choi and Edward G. Effros",
 year         = "1977",
 title        = "Injectivity and operator spaces",
 journal      = "Journal of Functional Analysis",
 volume       = "24",
 pages        = "156--209",
 doi          = "10.1016/0022-1236(77)90052-0",
)
@article(coeckeheunenkissinger:cpstar,
 author       = "Bob Coecke and Chris Heunen and Aleks Kissinger",
 year         = "2014",
 title        = "Categories of quantum and classical channels",
 journal      = "Quantum Information Processing",
 doi          = "10.1007/s11128-014-0837-4",
)
@book(davidson:cstar,
 author       = "Kenneth R. Davidson",
 year         = "1991",
 title        = "C*-algebras by example",
 publisher    = "American Mathematical Society",
)
@inproceedings(heunen:semimoduleenrichment,
 author       = "Chris Heunen",
 year         = "2008",
 title        = "Semimodule enrichment",
 booktitle    = "Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "218",
 publisher    = "Elsevier",
 pages        = "193--208",
 doi          = "10.1016/j.entcs.2008.10.012",
)
@article(houston:biproducts,
 author       = "Robin Houston",
 year         = "2008",
 title        = "Finite products are biproducts in a compact closed category",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "212",
 number       = "2",
 pages        = "394--400",
 doi          = "10.1016/j.jpaa.2007.05.021",
)
@inproceedings(selinger:completelypositive,
 author       = "Peter Selinger",
 year         = "2007",
 title        = "Dagger compact closed categories and completely positive maps",
 booktitle    = "Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)",
 series       = "Electronic Notices in Theoretical Computer Science",
 volume       = "170",
 publisher    = "Elsevier",
 pages        = "139--163",
 doi          = "10.1016/j.entcs.2006.12.018",
)
@inproceedings(selinger:daggeridempotents,
 author       = "Peter Selinger",
 year         = "2008",
 title        = "Idempotents in dagger categories",
 booktitle    = "Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006)",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "210",
 publisher    = "Elsevier",
 pages        = "107--122",
 doi          = "10.1016/j.entcs.2008.04.021",
)
@book(stormer:positive,
 author       = "Erling St{\o }rmer",
 year         = "2013",
 title        = "Positive linear maps of operator algebras",
 series       = "Monographs in Mathematics",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-34369-8",
)