@inproceedings(abramskycoecke:cqm,
 doi          = "10.1109/LICS.2004.1319636",
)
@inproceedings(abramskyheunen:hstar,
)
@article(baez:twohilbertspaces,
 doi          = "10.1006/aima.1997.1617",
)
@article(barvicary,
)
@inproceedings(cariello,
)
@article(choieffros:injectivity,
 doi          = "10.1016/0022-1236(77)90052-0",
)
@inproceedings(coeckeduncankissingerwang:mermin,
 doi          = "10.1109/LICS.2012.35",
)
@inproceedings(coeckeheunen:cp,
 doi          = "10.4204/EPTCS.95.4",
)
@inproceedings(coeckeheunenkissinger:logic,
 doi          = "10.1007/978-3-642-38164-5\_3",
)
@article(coeckeheunenkissinger:cpstar,
 doi          = "10.1007/s11128-014-0837-4",
)
@article(coeckeperdrix,
 doi          = "10.2168/LMCS-8(4:14)2012",
)
@book(hazewinkeletal:algebra,
)
@article(heunencontrerascattaneo,
 doi          = "10.1016/j.jpaa.2012.04.002",
)
@inproceedings(heunenkissingerselinger:cpproj,
)
@article(lauda:ambidextrous,
)
@inproceedings(selinger:cpm,
 doi          = "10.1016/j.entcs.2006.12.018",
)
@article(selinger:idempotents,
 doi          = "10.1016/j.entcs.2008.04.021",
)
@inproceedings(selinger:graphical,
 doi          = "10.1007/978-3-642-12821-9\_4",
)
@inproceedings(stayvicary,
 doi          = "10.1016/j.entcs.2013.09.022",
)
@book(stormer:positive,
)
@article(vicary:quantumalgebras,
 doi          = "10.1007/s00220-010-1138-0",
)
@inproceedings(vicary:higherquantumtheory,
 doi          = "10.1109/LICS.2012.70",
)
@inproceedings(vicary:topology,
 doi          = "10.1109/LICS.2013.14",
)
@mastersthesis(wester:mscthesis,
)