@techreport(Baez2014a,
 author       = {John C. Baez and Jason Erbele},
 year         = {2014},
 title        = {Categories in Control},
 type         = {Technical Report},
 institution  = {arXiv:1405.6881},
)
@inproceedings(SobocinskiSignal,
 author       = {F. Bonchi and P. Sobocinski and F. Zanasi},
 year         = {2014},
 title        = {A categorical semantics of signal flow graphs},
 booktitle    = {CONCUR'14: Concurrency Theory.},
 series       = {Lecture Notes in Computer Science},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6\_30},
)
@article(ContPhys,
 author       = {B. Coecke},
 year         = {2009},
 title        = {Quantum Picturalism},
 journal      = {Contemporary Physics},
 volume       = {51},
 pages        = {59--83},
 doi          = {10.1080/00107510903257624},
 note         = {{a}rXiv:0908.1787},
)
@inproceedings(CD1,
 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)},
 series       = {Lecture Notes in Computer Science},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@inproceedings(CDKZ,
 author       = {B. Coecke and R. Duncan and A. Kissinger and Q. Wang},
 year         = {2012},
 title        = {Strong complementarity and non-locality in categorical quantum mechanics},
 booktitle    = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS)},
 publisher    = {IEEE Computer Society},
 doi          = {10.1109/LICS.2012.35},
 note         = {ArXiv:1203.4988},
)
@article(DixonDuncan2009,
 author       = {Lucas Dixon and Ross Duncan},
 year         = {2009},
 title        = {{Graphical Reasoning in Compact Closed Categories for Quantum Computation}},
 journal      = {AMAI},
 volume       = {56},
 number       = {1},
 pages        = {20},
 doi          = {10.1007/s10472-009-9141-x},
)
@article(JS,
 author       = {Andre Joyal and Ross Street},
 year         = {1991},
 title        = {{The geometry of tensor calculus {I}}},
 journal      = {Advances in Mathematics},
 volume       = {88},
 pages        = {55--113},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@phdthesis(DimitriDPhil,
 author       = {D. Kartsaklis},
 year         = {2014},
 title        = {Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras},
 school       = {University of Oxford},
)
@incollection(KissingerATS,
 author       = {Aleks Kissinger},
 year         = {2014},
 title        = {Abstract Tensor Systems as Monoidal Categories},
 editor       = {C Casadio and B Coecke and M Moortgat and P Scott},
 booktitle    = {Categories and Types in Logic, Language, and Physics: Festschrift on the occasion of Jim Lambek's 90th birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {8222},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-54789-8\_13},
 note         = {{arXiv:1308.3586 [math.CT]}},
)
@inproceedings(PatternGraph,
 author       = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
 year         = {2012},
 title        = {Pattern Graph Rewrite Systems},
 booktitle    = {Proceedings of DCM 2012},
 series       = {EPTCS},
 volume       = {143},
 doi          = {10.4204/EPTCS.143.5},
 note         = {{a}rXiv:1204.6695 [math.CT]},
)
@misc(Quantomatic,
 author       = {Aleks Kissinger and Alexander Merry and Lucas Dixon and Ross Duncan and Matvey Soloviev and Benjamin Frot},
 year         = {2011},
 title        = {{Quantomatic}},
 howpublished = {https://sites.google.com/site/quantomatic/},
)
@inproceedings(NoncommBB,
 author       = {Aleks Kissinger and David Quick},
 year         = {2014},
 title        = {Tensors, !-graphs, and non-commutative quantum structures},
 booktitle    = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL} 2014, Kyoto, Japan, 4-6th June 2014.},
 pages        = {56--67},
 doi          = {10.4204/EPTCS.172.5},
 note         = {{a}rXiv:1412.8552 [cs.LO]},
)
@inproceedings(BangLogic,
 author       = {Aleks Kissinger and David Quick},
 year         = {2015},
 title        = {A first-order logic for string diagrams},
 note         = {{a}rXiv:1505.00343 [math.CT]},
)
@inproceedings(bgto,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {!-Graphs with Trivial Overlap are Context-Free},
 doi          = {10.4204/EPTCS.181.2},
 note         = {ArXiv:1501.06059},
)
@phdthesis(MerryThesis,
 author       = {Alexander Merry},
 year         = {2014},
 title        = {Reasoning with !-Graphs},
 school       = {University of Oxford},
)
@incollection(Penrose1971,
 author       = {R. Penrose},
 year         = {1971},
 title        = {Applications of negative dimensional tensors},
 booktitle    = {Combinatorial Mathematics and its Applications},
 publisher    = {Academic Press},
 pages        = {221--244},
)