@inproceedings(AC2004,
 author       = "Samson Abramsky and Bob Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 booktitle    = "19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings",
 publisher    = "IEEE Computer Society",
 pages        = "415--425",
 doi          = "10.1109/LICS.2004.1319636",
)
@misc(Boneva2007,
 author       = "Iovka B. {Boneva} and Arend {Rensink} and Marcos E. {Kurb\'an} and J\"org {Bauer}",
 year         = "2007",
 title        = "Graph Abstraction and Abstract Graph Transformation",
 url          = "http://doc.utwente.nl/64257/",
 note         = "Technical Report, Universiteit Twente",
)
@inproceedings(Coecke2008,
 author       = "Bob Coecke and Ross Duncan",
 year         = "2008",
 title        = "Interacting quantum observables",
 editor       = "Luca Aceto and Ivan Damg{\r a}rd and Leslie Ann Goldberg and Magn\'{u}s Halld\'{o}rson and Anna Ing\'{o}lfsdottir and Igor Wa{\l }ukiewicz",
 booktitle    = "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II--Track B: Logic, Semantics, and Theory of Programming \& Track C: Security and Cryptography Foundations",
 series       = "Lecture Notes in Computer Science",
 volume       = "5126",
 publisher    = "Springer Verlag",
 pages        = "298--310",
 doi          = "10.1007/978-3-540-70583-3\_25",
)
@inproceedings(CoeckeKissinger2010,
 author       = "Bob Coecke and Aleks Kissinger",
 year         = "2010",
 title        = "The compositional structure of multipartite quantum entanglement",
 editor       = "Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis",
 booktitle    = "Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II",
 series       = "Lecture Notes in Computer Science",
 volume       = "6199",
 publisher    = "Springer Verlag",
 pages        = "297--308",
 doi          = "10.1007/978-3-642-14162-1\_25",
)
@article(Coecke:2008p681,
 author       = "Bob Coecke and Simon Perdrix and {\'E}ric Oliver Paquette",
 year         = "2008",
 title        = "Bases in Diagrammatic Quantum Protocols",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "218",
 pages        = "131--152",
 doi          = "10.1016/j.entcs.2008.10.009",
)
@article(dixon2009,
 author       = "Lucas Dixon and Ross Duncan",
 year         = "2009",
 title        = "Graphical reasoning in compact closed categories for quantum computation",
 journal      = "Annals of Mathematics and Artificial Intelligence",
 volume       = "56",
 pages        = "23--42",
 doi          = "10.1007/s10472-009-9141-x",
)
@inproceedings(Dixon2010,
 author       = "Lucas Dixon and Ross Duncan and Aleks Kissinger",
 year         = "2010",
 title        = "Open Graphs and Computational Reasoning",
 editor       = "S. Barry Cooper and Prakash Panangaden and Elham Kashefi",
 booktitle    = "Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "26",
 pages        = "169--180",
 doi          = "10.4204/EPTCS.26.16",
)
@article(DixonKissinger2010,
 author       = "Lucas Dixon and Aleks Kissinger",
 year         = "2010",
 title        = "{Open Graphs and Monoidal Theories}",
 journal      = "Computing Research Repository",
 volume       = "abs/1011.4114",
 url          = "http://arxiv.org/abs/1011.4114",
)
@inproceedings(Ehrig1973,
 author       = "Hartmut Ehrig and Michael Pfender and Hans J{\"u}rgen Schneider",
 year         = "1973",
 title        = "Graph-Grammars: An Algebraic Approach",
 booktitle    = "14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973",
 publisher    = "IEEE Computer Society",
 pages        = "167--180",
 doi          = "10.1109/SWAT.1973.11",
)
@article(Girard1987,
 author       = "J.-Y. Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 number       = "1",
 pages        = "1--101",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@misc(GROOVE,
 title        = "The {GROOVE} Project",
 url          = "http://groove.cs.utwente.nl/",
)
@article(JS,
 author       = "Andr{\'e} Joyal and Ross 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",
)
@phdthesis(aleksThesis,
 author       = "Aleks Kissinger",
 year         = "2012",
 title        = "Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing",
 school       = "University of Oxford",
)
@article(KissingerCosy2012,
 author       = "Aleks Kissinger",
 year         = "2012",
 title        = "Synthesising Graphical Theories",
 journal      = "Computing Research Repository",
 volume       = "abs/1202.6079",
 url          = "http://arxiv.org/abs/1202.6079",
)
@inproceedings(knuth-bendix,
 author       = "Donald E. Knuth and Peter B. Bendix",
 year         = "1970",
 title        = "Simple word problems in universal algebras",
 editor       = "John Leech",
 booktitle    = "Computational problems in abstract algebra. Proceedings of a Conference held at Oxford under the auspices of the Science Research Council, Atlas Computer Laboratory, 29th August to 2nd September 1967",
 publisher    = "Pergamon Press",
 pages        = "263--297",
)
@inproceedings(Lafont95,
 author       = "Y. Lafont",
 year         = "1995",
 title        = "Equational reasoning with 2-dimensional diagrams",
 editor       = "Hubert Comon and Jean-Pierre Jouannaud",
 booktitle    = "Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course",
 series       = "Lecture Notes in Computer Science",
 volume       = "909",
 publisher    = "Springer Verlag",
 pages        = "170--195",
 doi          = "10.1007/3-540-59340-3\_13",
)
@incollection(Penrose1971,
 author       = "Roger Penrose",
 year         = "1971",
 title        = "Applications of negative dimensional tensors",
 booktitle    = "Combinatorial mathematics and its applications. Proceedings of a Conference held at the Mathematical Institute, Oxford, from 7-10 July",
 publisher    = "Academic Press",
 pages        = "221--244",
)
@inproceedings(Rensink2006,
 author       = "Arend Rensink",
 year         = "2006",
 title        = "Nested Quantification in Graph Transformation Rules",
 editor       = "Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg",
 booktitle    = "Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4178",
 publisher    = "Springer Verlag",
 pages        = "1--13",
 doi          = "10.1007/11841883\_1",
)
@article(Rensink2009,
 author       = "Arend {Rensink} and Jan-Hendrik {Kuperus}",
 year         = "2009",
 title        = "{Repotting the Geraniums: On Nested Graph Transformation Rules}",
 journal      = "Electronic Communications of the European Association of Software Science and Technology",
 volume       = "18",
)