@article(ZH,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2019},
 title        = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 pages        = {23\IeC{\textendash}42},
 doi          = {10.4204/eptcs.287.2},
)
@article(2017arXiv170408670D,
 author       = {Niel de Beaudrap and Dominic Horsman},
 year         = {2020},
 title        = {The ZX calculus is a language for surface code lattice surgery},
 journal      = {Quantum},
 volume       = {4},
 pages        = {218},
 doi          = {10.22331/q-2020-01-09-218},
)
@book(PQP,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@inbook(Coecke08,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II},
 chapter      = {Interacting Quantum Observables},
 pages        = {298--310},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@article(2018arXiv181201238G,
 author       = {Craig Gidney and Austin G. Fowler},
 year         = {2019},
 title        = {Efficient magic state factories with a catalyzed $|CCZ\delimiter"526930B $ to $2|T\delimiter"526930B $ transformation},
 journal      = {Quantum},
 volume       = {3},
 pages        = {135},
 doi          = {10.22331/q-2019-04-30-135},
)
@article(ZW,
 author       = {Amar Hadzihasanovic},
 year         = {2015},
 title        = {A Diagrammatic Axiomatisation for Qubit Entanglement},
 journal      = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science},
 doi          = {10.1109/lics.2015.59},
)
@article(Vilmart18,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics},
 journal      = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS \IeC{\textquoteright}18},
 doi          = {10.1145/3209108.3209139},
)
@inproceedings(Kissinger2012PatternGR,
 author       = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
 year         = {2014},
 title        = {Pattern graph rewrite systems},
 volume       = {143},
 publisher    = {Open Publishing Association},
 pages        = {54\IeC{\textendash}66},
 doi          = {10.4204/eptcs.143.5},
)
@article(Quantomatic,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A Proof Assistant for Diagrammatic Reasoning},
 journal      = {Lecture Notes in Computer Science},
 pages        = {326\IeC{\textendash}336},
 doi          = {10.1007/978-3-319-21401-6_22},
)
@article(maclane1965,
 author       = {Saunders MacLane},
 year         = {1965},
 title        = {Categorical algebra},
 journal      = {Bull. Amer. Math. Soc.},
 volume       = {71},
 number       = {1},
 pages        = {40--106},
 doi          = {10.1090/S0002-9904-1965-11234-4},
 url          = {https://projecteuclid.org:443/euclid.bams/1183526392},
)
@article(multivariate,
 author       = {Mariano Gasca, Thomas Sauer},
 year         = {2000},
 title        = {On the history of multivariate polynomial interpolation.},
 journal      = {Journal of Computational and Applied Mathematics},
 volume       = {122},
 pages        = {23--35},
 doi          = {10.1016/S0377-0427(00)00353-8},
 url          = {https://www.sciencedirect.com/science/article/pii/S0377042700003538},
)
@phdthesis(MerryThesis,
 author       = {Alexander Merry},
 year         = {2014},
 title        = {Reasoning with !-Graphs},
 school       = {University of Oxford},
 url          = {http://arxiv.org/abs/1403.7828},
)
@article(UniversalComplete,
 author       = {K. F. {Ng} and Q. {Wang}},
 year         = {2017},
 title        = {{A universal completion of the ZX-calculus}},
 journal      = {ArXiv e-prints},
 eid          = {1706.09877},
)
@article(VilmartZX,
 author       = {Renaud Vilmart},
 year         = {2019},
 title        = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
 journal      = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 doi          = {10.1109/lics.2019.8785765},
)
@misc(WolframLaurent,
 author       = {Eric W. Weisstein},
 title        = {Laurent Polynomial.},
 url          = {http://mathworld.wolfram.com/LaurentPolynomial.html},
 note         = {From MathWorld--A Wolfram Web Resource.},
)