@misc(Baez2014a,
 author       = "John~C. Baez and Jason Erbele",
 year         = "2014",
 title        = "Categories in Control",
 url          = "http://arxiv.org/abs/1405.6881",
 note         = "ArXiv:1405.6881",
)
@inproceedings(Bonchi2015,
 author       = "Filippo Bonchi and Pawe{\l } Soboci\'{n}ski and Fabio Zanasi",
 year         = "2015",
 title        = "Full Abstraction for Signal Flow Graphs",
 booktitle    = "Principles of Programming Languages, POPL`15.",
 doi          = "10.1145/2676726.2676993",
)
@article(picturalism,
 author       = "B.~Coecke",
 year         = "2010",
 title        = "Quantum picturalism",
 journal      = "Contemporary Physics",
 volume       = "51",
 number       = "1",
 pages        = "59--83",
 doi          = "10.1080/00107510903257624",
)
@article(LambekvsLambek,
 author       = "B.~Coecke and E.~Grefenstette and M.~Sadrzadeh",
 year         = "2013",
 title        = "Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "164",
 number       = "11",
 pages        = "1079 -- 1100",
 doi          = "10.1016/j.apal.2013.05.009",
)
@article(hrl_equal_vr,
 author       = "B.~Courcelle",
 year         = "1995",
 title        = "Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement",
 journal      = "Information and Computation",
 volume       = "116",
 number       = "2",
 pages        = "275 -- 293",
 doi          = "10.1006/inco.1995.1020",
)
@article(DD1,
 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       = "56",
 number       = "1",
 pages        = "23--42",
 doi          = "10.1007/s10472-009-9141-x",
)
@article(open_graphs1,
 author       = "L.~Dixon and A.~Kissinger",
 year         = "2013",
 title        = "Open-graphs and monoidal theories",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "23",
 pages        = "308--359",
 doi          = "10.1017/S0960129512000138",
)
@incollection(pumping,
 author       = "A.~Habel and H-J. Kreowski",
 year         = "1987",
 title        = "Some structural aspects of hypergraph languages generated by hyperedge replacement",
 booktitle    = "STACS 87",
 series       = "Lecture Notes in Computer Science",
 volume       = "247",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "207--219",
 doi          = "10.1007/BFb0039608",
)
@article(joyal_street,
 author       = "A.~Joyal and R.~Street",
 year         = "1991",
 title        = "The geometry of tensor calculus, I",
 journal      = "Advances in Mathematics",
 volume       = "88",
 number       = "1",
 pages        = "55 -- 112",
 doi          = "10.1016/0001-8708(91)90003-P",
)
@inproceedings(pattern_graphs,
 author       = "A.~Kissinger and A.~Merry and M.~Soloviev",
 year         = "2012",
 title        = "Pattern graph rewrite systems",
 booktitle    = "{\rm Proceedings 8th International Workshop on} Developments in Computational Models",
 volume       = "143",
 pages        = "54--66",
 doi          = "10.4204/EPTCS.143.5",
)
@inproceedings(Kissinger:2014ab,
 author       = "A.~Kissinger and D.~Quick",
 year         = "2014",
 title        = "Tensors, !-graphs, and non-commutative quantum structures",
 booktitle    = "Proceedings of QPL 2014",
 volume       = "172",
 pages        = "56--67",
 doi          = "10.4204/EPTCS.172.5",
)
@misc(quanto-cade,
 author       = "Aleks Kissinger and Vladimir Zamdzhiev",
 year         = "2015",
 title        = "Quantomatic: A proof assistant for diagrammatic reasoning",
 url          = "http://arxiv.org/abs/1503.01034",
 note         = "ArXiv:1503.01034",
)
@article(merry_dphil,
 author       = "A.~Merry",
 year         = "2014",
 title        = "{Reasoning with !-Graphs}",
 note         = "DPhil Thesis, University of Oxford, \url {http://arxiv.org/abs/1403.7828}",
)
@book(graph_grammar_handbook,
 editor       = "G.~Rozenberg",
 title        = "Handbook of graph grammars and computing by graph transformation, vol 1: Foundations",
 publisher    = "World Scientific, 1997",
)
@inproceedings(Sobocinski:2010aa,
 author       = "P.~Sobocinski",
 year         = "2010",
 title        = "Representations of Petri net interactions",
 booktitle    = "CONCUR 2010 - Concurrency Theory",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "pp 554--568",
 doi          = "10.1007/978-3-642-15375-4\_38",
)