@article(1367-2630-16-9-093021,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {The ZX-calculus is complete for stabilizer quantum mechanics},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {9},
 pages        = {093021},
 doi          = {10.1088/1367-2630/16/9/093021},
 url          = {http://stacks.iop.org/1367-2630/16/i=9/a=093021},
)
@inproceedings(Backens:2014aa,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {The ZX-calculus is complete for the single-qubit {C}lifford+{T} group},
 booktitle    = {Proceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014)},
 series       = {EPTCS},
 volume       = {172},
 pages        = {293--303},
 doi          = {10.4204/EPTCS.172.21},
)
@inproceedings(Backens:2015aa,
 author       = {Miriam Backens},
 year         = {2015},
 title        = {Making the stabilizer ZX-calculus complete for scalars},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 pages        = {17--32},
 doi          = {10.4204/EPTCS.195.2},
)
@inproceedings(Backens2016A-Simplified-St,
 author       = {Miriam Backens and Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {A Simplified Stabilizer ZX-calculus},
 editor       = {R. Duncan and C. Heunen},
 booktitle    = {Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 pages        = {1--20},
 doi          = {10.4204/EPTCS.236.1},
)
@article(Adriano-Barenco:1995qy,
 author       = {Adriano Barenco and Charles H. Bennett and Richard Cleve and David P. DiVincenzo and Norman Margolus and Peter Shor and Tycho Sleator and John A. Smolin and Harald Weinfurter},
 year         = {1995},
 title        = {Elementary gates for quantum computation},
 journal      = {Phys. Rev. A},
 volume       = {52},
 pages        = {3457--3467},
 doi          = {10.1103/PhysRevA.52.3457},
)
@article(Sergei-Bravyi:2005eu,
 author       = {S. Bravyi and A Kitaev},
 year         = {2005},
 title        = {Universal Quantum Computation with ideal Clifford gates and noisy ancillas},
 journal      = {Phys. Rev. A},
 volume       = {71},
 number       = {022316},
 doi          = {10.1103/PhysRevA.71.022316},
)
@misc(Campbell:colourcode,
 author       = {Earl T. Campbell},
 year         = {2016},
 title        = {The smallest interesting colour code},
 howpublished = {Blog post},
 url          = {https://earltcampbell.com/2016/09/26/the-smallest-interesting-colour-code/},
)
@article(PhysRevA.95.022316,
 author       = {Earl T. Campbell and Mark Howard},
 year         = {2017},
 title        = {Unified framework for magic state distillation and multiqubit gate synthesis with reduced resource cost},
 journal      = {Phys. Rev. A},
 volume       = {95},
 pages        = {022316},
 doi          = {10.1103/PhysRevA.95.022316},
 url          = {https://link.aps.org/doi/10.1103/PhysRevA.95.022316},
)
@article(Campbell2016Unifying-gate-s,
 author       = {Earl T. Campbell and Mark Howard},
 year         = {2017},
 title        = {Unifying gate-synthesis and magic state distillation},
 journal      = {Phys. Rev. Lett.},
 volume       = {118},
 number       = {6},
 doi          = {10.1103/PhysRevLett.118.060501},
)
@article(Chancellor2016Coherent-Parity,
 author       = {Nicholas Chancellor and Aleks Kissinger and Stefan Zohren and Dominic Horsman},
 year         = {2016},
 title        = {Coherent Parity Check Construction for Quantum Error Correction},
 journal      = {arXiv.org preprint},
 number       = {arXiv:1611.08012},
)
@inproceedings(Coecke:2008nx,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Interacting Quantum Observables},
 editor       = {L. Aceto and Damg{\r a}rd, I. and L. A. Goldberg and M. M. Halld{\'o}rsson and A Ing{\'o}lfsd{\'o}ttir and I. Walukiewic},
 booktitle    = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II},
 series       = {Lecture Notes in Computer Science},
 volume       = {5126},
 publisher    = {Springer},
 pages        = {298--310},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@article(Coecke:2009aa,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
 journal      = {New J. Phys},
 volume       = {13},
 number       = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
 url          = {http://iopscience.iop.org/1367-2630/13/4/043016/},
)
@incollection(Coecke:2015aa,
 author       = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
 year         = {2015},
 title        = {Generalised Compositional Theories and Diagrammatic Reasoning},
 editor       = {G. Chirabella and R. Spekkens},
 booktitle    = {Quantum Theory: Informational Foundations and Foils},
 publisher    = {Springer},
 doi          = {10.1007/978-94-017-7303-4\_10},
)
@inproceedings(Duncan2016Interacting-Fro,
 author       = {Ross Duncan and Kevin Dunne},
 year         = {2016},
 title        = {Interacting {F}robenius Algebras are {H}opf},
 editor       = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
 booktitle    = {{Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}},
 series       = {{LICS '16}},
 publisher    = {{ACM}},
 pages        = {535--544},
 doi          = {10.1145/2933575.2934550},
)
@inproceedings(Duncan:2013lr,
 author       = {Ross Duncan and Maxime Lucas},
 year         = {2014},
 title        = {Verifying the {S}teane code with {Q}uantomatic},
 editor       = {Bob Coecke and Matty Hoban},
 booktitle    = {Proceedings 10th International Workshop on Quantum Physics and Logic (QPL 2013)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 pages        = {33--49},
 doi          = {10.4204/EPTCS.171.4},
)
@inproceedings(Duncan:2009ph,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2009},
 title        = {Graph States and the necessity of {E}uler Decomposition},
 editor       = {Ambos-Spies, K. and B. L\"{o}we and W. Merkle},
 booktitle    = {Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5635},
 publisher    = {Springer},
 pages        = {167--177},
 doi          = {10.1007/978-3-642-03073-4},
)
@inproceedings(EPTCS171.5,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2014},
 title        = {Pivoting makes the ZX-calculus complete for real stabilizers},
 editor       = {Bob Coecke and Matty Hoban},
 booktitle    = {Proceedings 10th International Workshop on Quantum Physics and Logic, Castelldefels (Barcelona), Spain, 17th to 19th July 2013},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 publisher    = {Open Publishing Association},
 pages        = {50--62},
 doi          = {10.4204/EPTCS.171.5},
)
@article(Hner2016A-Software-Meth,
 author       = {Thomas H\"aner and Damian S. Steiger and Krysta Svore and Matthias Troyer},
 year         = {2016},
 title        = {A Software Methodology for Compiling Quantum Programs},
 journal      = {Quantum Science and Technology},
 doi          = {10.1088/2058-9565/aaa5cc},
)
@misc(quantomatichome,
 author       = {A. Kissinger and L. Dixon and R. Duncan and B. Frot and A. Merry and D. Quick and M. Soloviev and V. Zamdzhiev},
 title        = {Quantomatic},
 url          = {https://sites.google.com/site/quantomatic/},
)
@inproceedings(Aleks-Kissinger:2012qy,
 author       = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
 year         = {2014},
 title        = {Pattern Graph Rewrite Systems},
 editor       = {Benedikt L{\"o}we and Glynn Winskel},
 booktitle    = {Proceedings 8th International Workshop on Developments in Computational Models (DCM 2012), Cambridge, United Kingdom, 17 June 2012},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {143},
 pages        = {54--66.},
 doi          = {10.4204/EPTCS.143.5},
)
@inproceedings(Kissinger:2014ab,
 author       = {Aleks Kissinger and David Quick},
 year         = {2014},
 title        = {Tensors, !-graphs, and non-commutative quantum structures},
 editor       = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden},
 booktitle    = {Proceedings of QPL 2014},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {172},
 pages        = {56--67},
 doi          = {10.4204/EPTCS.172.5},
)
@inproceedings(Kissinger:2015aa,
 author       = {Aleks Kissinger and David Quick},
 year         = {2015},
 title        = {A First-Order Logic for String Diagrams},
 editor       = {Lawrence S. Moss and Pawel Sobocinski},
 booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {35},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {171--189},
 doi          = {10.4230/LIPIcs.CALCO.2015.171},
)
@unpublished(Kissinger2014Notes-on-Graphi,
 author       = {Aleks Kissinger and Pawel Sobocinski},
 year         = {2014},
 title        = {Notes on Graphical Normalisation},
 note         = {Personal correspondence},
)
@inproceedings(Kissinger2015Quantomatic:-A-,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A Proof Assistant for Diagrammatic Reasoning},
 editor       = {P. Amy Felty and Aart Middeldorp},
 booktitle    = {Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
 publisher    = {Springer},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6\_22},
)
@article(Lack:2004sf,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing {PROP}s},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
)
@article(PhysRevA.95.032338,
 author       = {Joe O'Gorman and Earl T. Campbell},
 year         = {2017},
 title        = {Quantum computation with realistic magic-state factories},
 journal      = {Phys. Rev. A},
 volume       = {95},
 pages        = {032338},
 doi          = {10.1103/PhysRevA.95.032338},
 url          = {https://link.aps.org/doi/10.1103/PhysRevA.95.032338},
)
@inproceedings(Perdrix:2015aa,
 author       = {Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {{Supplementarity is Necessary for Quantum Diagram Reasoning}},
 editor       = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
 booktitle    = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {58},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {76:1--76:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.76},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2016/6506},
)
@phdthesis(Quick2015-Logic,
 author       = {David Quick},
 year         = {2015},
 title        = {!-Logic},
 school       = {Oxford University},
)
@unpublished(Selinger2016Relations-for-2,
 author       = {Peter Selinger and Xiaoning Bian},
 year         = {2016},
 title        = {Relations for 2-qubit {C}lifford+{T} operator group},
 note         = {Talk slides},
)