@inproceedings(rewriting-smt,
 author       = {F. Bonchi and F. Gadducci and A. Kissinger and P. Soboci\'{n}ski and F. Zanasi},
 year         = {2016},
 title        = {Rewriting Modulo Symmetric Monoidal Structure},
 series       = {LICS '16},
 doi          = {10.1145/2933575.2935316},
)
@inproceedings(signal-flow,
 author       = {F. Bonchi and P. Sobocinski and F. Zanasi},
 year         = {2015},
 title        = {Full Abstraction for Signal Flow Graphs},
 booktitle    = {{POPL} 2015},
 doi          = {10.1145/2676726.2676993},
)
@incollection(euler_necessity,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2009},
 title        = {Graph States and the Necessity of Euler Decomposition},
 booktitle    = {Mathematical Theory and Computational Practice},
 doi          = {10.1007/978-3-642-03073-4\_18},
)
@incollection(c-ednce,
 author       = {J. Engelfriet and G. Rozenberg},
 year         = {1997},
 title        = {Node Replacement Graph Grammars},
 editor       = {Grzegorz Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 doi          = {10.1142/9789812384720\_0001},
)
@inproceedings(pattern_graphs,
 author       = {A. Kissinger and A. Merry and M. Soloviev},
 year         = {2012},
 title        = {Pattern graph rewrite systems},
 booktitle    = {{\rm 8th International Workshop on} Developments in Computational Models},
 doi          = {10.4204/EPTCS.143.5},
)
@inproceedings(icgt,
 author       = {A. Kissinger and V. Zamdzhiev},
 year         = {2015},
 title        = {Equational Reasoning with Context-Free Families of String Diagrams},
 booktitle    = {Graph Transformation - 8th International Conference, {ICGT} 2015},
 doi          = {10.1007/978-3-319-21145-9\_9},
)
@article(kissinger_dphil,
 author       = {Aleks Kissinger},
 year         = {2012},
 title        = {{Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing}},
 note         = {PhD thesis. Oxford University. \url{http://arxiv.org/abs/1203.0202}},
)
@inproceedings(gam,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {!-graphs with trivial overlap are context-free},
 booktitle    = {Proceedings Graphs as Models, GaM 2015, London, UK, 11-12 April 2015.},
 doi          = {10.4204/EPTCS.181.2},
)
@inproceedings(quanto-cade,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: {A} Proof Assistant for Diagrammatic Reasoning},
 booktitle    = {{CADE} 2015},
 doi          = {10.1007/978-3-319-21401-6\_22},
)
@inproceedings(eclnl,
 author       = {Bert Lindenhovius and Michael Mislove and Vladimir Zamdzhiev},
 year         = {2018},
 title        = {Enriching a Linear/Non-linear Lambda Calculus: {A} Programming Language for String Diagrams},
 booktitle    = {{LICS} 2018},
 doi          = {10.1145/3209108.3209196},
)
@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}},
)
@inproceedings(petri-nets,
 author       = {J. Meseguer and U. Montanari},
 year         = {1988},
 title        = {Petri Nets Are Monoids: {A} New Algebraic Foundation for Net Theory},
 booktitle    = {{LICS} 1988},
 doi          = {10.1109/LICS.1988.5114},
)
@article(pair_grammars,
 author       = {Terrence W. Pratt},
 year         = {1971},
 title        = {Pair grammars, graph languages and string-to-graph translations},
 journal      = {Journal of Computer and System Sciences},
 volume       = {5},
 number       = {6},
 pages        = {560 -- 595},
 doi          = {10.1016/S0022-0000(71)80016-8},
)
@article(ewire,
 author       = {Mathys Rennela and Sam Staton},
 year         = {2018},
 title        = {Classical Control and Quantum Circuits in Enriched Category Theory},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {336},
 pages        = {257--279},
 doi          = {10.1016/j.entcs.2018.03.027},
)
@inproceedings(proto-quipper-m,
 author       = {Francisco Rios and Peter Selinger},
 year         = {2017},
 title        = {A categorical model for a quantum circuit description language},
 booktitle    = {{QPL} 2017.},
 doi          = {10.4204/EPTCS.266.11},
)
@incollection(triple_grammars,
 author       = {Andy Sch{\"u}rr},
 year         = {1995},
 title        = {Specification of graph translators with triple graph grammars},
 booktitle    = {Graph-Theoretic Concepts in Computer Science},
 doi          = {10.1007/3-540-59071-4\_45},
)
@phdthesis(vladimir-dphil,
 author       = {V. Zamdzhiev},
 year         = {2016},
 title        = {Rewriting context-free families of string diagrams},
 school       = {University of Oxford},
 url          = {https://ora.ox.ac.uk/objects/uuid:4138e2fe-5382-429b-a3f6-67f8770e2cd3},
)