@unknown(AC,
 author       = "S. Abramsky and B. Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 booktitle    = "Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science",
 publisher    = "IEEE Computer Science Press",
 pages        = "415--425",
 note         = "Extended version: arXiv:0808.1023",
)
@unknown(Aguiar,
 author       = "M. Aguiar",
 year         = "2000",
 title        = "A note on strongly separable algebras",
 journal      = "Bolet\'in de la Academia Nacional de Ciencias (C\'ordoba, Argentina)",
 volume       = "65",
 pages        = "51--60",
)
@unknown(CarboniWalters,
 author       = "A. Carboni and R. F. C. Walters",
 year         = "1987",
 title        = "Cartesian bicategories {I}",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "49",
 pages        = "11--32",
)
@unknown(ContPhys,
 author       = "B. Coecke",
 year         = "2009",
 title        = "Quantum Picturalism",
 journal      = "Contemporary Physics",
 volume       = "51",
 pages        = "59--83",
 note         = "{a}rXiv:0908.1787",
)
@unknown(CD,
 author       = "B. Coecke and R. Duncan",
 year         = "2008",
 title        = "Interacting quantum observables",
 booktitle    = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
 note         = "Extended version: {a}rXiv:quant-ph/09064725",
)
@unknown(CES2,
 author       = "B. Coecke and B. Edwards and R. W. Spekkens",
 year         = "2011",
 title        = "Phase groups and the origin of non-locality for qubits",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "270",
 number       = "2",
 pages        = "15--36",
 note         = "{a}rXiv:1003.5005",
)
@unknown(CK,
 author       = "B. Coecke and A. Kissinger",
 year         = "2010",
 title        = "The Compositional Structure of Multipartite Quantum Entanglement",
 booktitle    = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
 pages        = "297--308",
 note         = "Extended version: {a}rXiv:1002.2540",
)
@unknown(CPav,
 author       = "B. Coecke and D. Pavlovic",
 year         = "2007",
 title        = "Quantum measurements without sums",
 editor       = "G. Chen and L. Kauffman and S. Lamonaco",
 booktitle    = "Mathematics of Quantum Computing and Technology",
 publisher    = "Taylor and Francis",
 pages        = "567--604",
 note         = "\unhbox \voidb@x \hbox {a}rXiv:quant-ph/0608035",
)
@unknown(DD,
 author       = "L. Dixon and R. Duncan",
 year         = "2009",
 title        = "Graphical reasoning in compact closed categories for quantum computation",
 journal      = "Annals of Mathematics and Artificial Intelligence",
 volume       = "51",
 pages        = "23--42",
)
@unknown(quanto,
 author       = "L. Dixon and R. Duncan and A. Merry and A. Kissinger",
 year         = "2011",
 title        = "{\tt quantomatic} software",
 note         = "Available from {h}ttp://dream.inf.ed.ac.uk/projects/quantomatic/",
)
@unknown(DK,
 author       = "L. Dixon and A. Kissinger",
 year         = "2011",
 title        = "Open graphs and monoidal theories",
 note         = "{a}rXiv:1011.4114",
)
@unknown(RossThesis,
 author       = "R. Duncan",
 year         = "2006",
 title        = "Types for Quantum Computation",
 note         = "DPhil Thesis, Oxford University",
)
@unknown(DP,
 author       = "R. Duncan and S. Perdrix",
 year         = "2010",
 title        = "Rewriting measurement-based quantum computations with generalised flow",
 booktitle    = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
 pages        = "285--296",
)
@unknown(DVC,
 author       = "W. D{\"{u}}r and G. Vidal and J. I. Cirac",
 year         = "2000",
 title        = "Three qubits can be entangled in two inequivalent ways",
 journal      = "Phys. Rev. A",
 volume       = "62",
 number       = "062314",
)
@unknown(Hermann,
 author       = "M. Herrmann",
 year         = "2010",
 title        = "Models of Multipartite Entanglement",
 note         = "MSc Thesis, Oxford University",
)
@unknown(JS,
 author       = "A. Joyal and R. Street",
 year         = "1991",
 title        = "The geometry of tensor calculus {I}",
 journal      = "Advances in Mathematics",
 volume       = "88",
 pages        = "55--112",
)
@unknown(KellyLaplaza,
 author       = "G. M. Kelly and M. L. Laplaza",
 year         = "1980",
 title        = "Coherence for compact closed categories",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "19",
 pages        = "193--213",
)
@unknown(Lack,
 author       = "S. Lack",
 year         = "2004",
 title        = "Composing PROPs",
 journal      = "Theory and Applications of Categories",
 volume       = "13",
 pages        = "147--163",
)
@unknown(Penrose,
 author       = "R. Penrose",
 year         = "1971",
 title        = "Applications of negative dimensional tensors",
 booktitle    = "Combinatorial Mathematics and its Applications",
 publisher    = "Academic Press",
 pages        = "221--244",
)
@unknown(SelingerSurvey,
 author       = "P. Selinger",
 year         = "2011",
 title        = "A survey of graphical languages for monoidal categories",
 editor       = "B. Coecke",
 booktitle    = "New Structures for Physics",
 publisher    = "Springer-Verlag",
 pages        = "275--337",
 note         = "{a}rXiv:0908.3347",
)