M. Amy, J. Chen, and N. J. Ross, A finite presentation of cnot-dihedral operators, Proceedings 14th International Conference on Quantum Physics and Logic, vol.266, pp.84-97, 2017.

M. Koenraad, M. Audenaert, and . Plenio, Entanglement on mixed stabilizer states: Normal forms and reduction procedures, New Journal of Physics, vol.7, pp.170-170, 2005.

M. Backens, The ZX-calculus is complete for stabilizer quantum mechanics, New Journal of Physics, vol.16, issue.9, p.93021, 2014.
DOI : 10.1088/1367-2630/16/9/093021
URL : http://iopscience.iop.org/article/10.1088/1367-2630/16/9/093021/pdf

M. Backens, The ZX-calculus is complete for the single-qubit Clifford+T group, Electronic Proceedings in Theoretical Computer Science, vol.172, pp.293-303, 2014.
DOI : 10.4204/eptcs.172.21
URL : https://doi.org/10.4204/eptcs.172.21

M. Backens and A. Nabi-duman, A complete graphical calculus for Spekkens' toy bit theory, Foundations of Physics, pp.1-34, 2014.
DOI : 10.1007/s10701-015-9957-7
URL : http://arxiv.org/pdf/1411.1618.pdf

M. Backens and A. Kissinger, Zh: A complete graphical calculus for quantum computations involving classical non-linearity, Proceedings of the 15th International Conference on Quantum Physics and Logic, vol.287, pp.23-42, 2018.
DOI : 10.4204/eptcs.287.2
URL : https://arxiv.org/pdf/1805.02175

J. C. Baez, B. Coya, and F. Rebro, Props in network theory, Theory and Applications of Categories, vol.33, pp.727-783, 2017.

N. Chancellor, A. Kissinger, J. Roffe, S. Zohren, and D. Horsman, Graphical structures for design and verification of quantum error correction. last revised, 2016.

B. Coecke, Axiomatic description of mixed states from Selinger's CPM-construction, Proceedings of the 4th International Workshop on Quantum Programming Languages, vol.210, pp.3-13, 2006.
DOI : 10.1016/j.entcs.2008.04.014
URL : https://doi.org/10.1016/j.entcs.2008.04.014

B. Coecke and R. Duncan, Interacting quantum observables: Categorical algebra and diagrammatics, New Journal of Physics, vol.13, issue.4, p.43016, 2011.
DOI : 10.1088/1367-2630/13/4/043016
URL : http://iopscience.iop.org/article/10.1088/1367-2630/13/4/043016/pdf

B. Coecke and C. Heunen, Pictures of complete positivity in arbitrary dimension, Information and Computation, vol.250, pp.50-58, 2016.

B. Coecke and A. Kissinger, The compositional structure of multipartite quantum entanglement, Automata, Languages and Programming, pp.297-308, 2010.

B. Coecke and A. Kissinger, Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, 2017.
DOI : 10.1017/9781316219317

B. Coecke and S. Perdrix, Environment and Classical Channels in Categorical Quantum Mechanics, Logical Methods in Computer Science, vol.8, issue.4, 2012.
DOI : 10.2168/lmcs-8(4:14)2012
URL : https://hal.archives-ouvertes.fr/hal-00940885

B. Coecke and Q. Wang, ZX-rules for 2-qubit Clifford+T quantum circuits, 2018.
DOI : 10.1007/978-3-319-99498-7_10
URL : http://arxiv.org/pdf/1804.05356

D. Niel-de-beaudrap and . Horsman, The ZX-calculus is a language for surface code lattice surgery, 2017.

R. Duncan, A graphical approach to measurement-based quantum computing, Quantum Physics and Linguistics, pp.50-89, 2013.
DOI : 10.1093/acprof:oso/9780199646296.003.0003
URL : http://arxiv.org/pdf/1203.6242.pdf

R. Duncan and K. Dunne, Interacting Frobenius algebras are Hopf, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, pp.535-544, 2016.
DOI : 10.1145/2933575.2934550
URL : https://strathprints.strath.ac.uk/56775/1/Duncan_Dunne_LINCS_2016_Interacting_Frobenius_algebras_are.pdf

R. Duncan and L. Garvie, Verifying the smallest interesting colour code with quantomatic, Proceedings 14th International Conference on Quantum Physics and Logic, vol.266, pp.147-163, 2017.

R. Duncan, A. Kissinger, S. Perdrix, and J. Van-de-wetering, Graph-theoretic simplification of quantum circuits with the zx-calculus, 2019.

R. Duncan and M. Lucas, Verifying the Steane code with Quantomatic, Electronic Proceedings in Theoretical Computer Science, vol.171, pp.33-49, 2014.

R. Duncan and S. Perdrix, Rewriting measurement-based quantum computations with generalised flow, Lecture Notes in Computer Science, vol.6199, pp.285-296, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00940895

R. Duncan and S. Perdrix, Pivoting makes the ZX-calculus complete for real stabilizers, QPL 2013, Electronic Proceedings in Theoretical Computer Science, pp.50-62, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00935185

A. Hadzihasanovic, A diagrammatic axiomatisation for qubit entanglement, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.573-584, 2015.

A. Hadzihasanovic, The Algebra of Entanglement and the Geometry of Composition, 2017.

A. Hadzihasanovic, Q. Kang-feng-ng, and . Wang, Two complete axiomatisations of purestate qubit quantum computing, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18, pp.502-511, 2018.

C. Horsman, Quantum picturalism for topological cluster-state computing, New Journal of Physics, vol.13, issue.9, p.95011, 2011.

M. Huot and S. Staton, Universal properties in quantum theory, Proceedings of the 15th International Conference on Quantum Physics and Logic, vol.287, pp.213-223, 2018.

E. Jeandel, S. Perdrix, and R. Vilmart, A complete axiomatisation of the ZXcalculus for Clifford+T quantum mechanics, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18, pp.559-568, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01529623

E. Jeandel, S. Perdrix, and R. Vilmart, Diagrammatic reasoning beyond Clifford+T quantum mechanics, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18, pp.569-578, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01716501

E. Jeandel, S. Perdrix, and R. Vilmart, A generic normal form for zx-diagrams and application to the rational angle completeness, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01791791

A. Kissinger, . John-van-de-wetering, and . Pyzx, , 2018.

A. Kissinger and S. Uijlen, A categorical semantics for causal structure, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.1-12, 2017.

A. Kissinger and V. Zamdzhiev, Quantomatic: A proof assistant for diagrammatic reasoning, Automated Deduction-CADE-25, pp.326-336, 2015.

K. Matsumoto and K. Amano, Representation of Quantum Circuits with Clifford and ?/8

. Gates, , 2008.

A. Michael, I. L. Nielsen, and . Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, 2010.

P. Selinger, Towards a quantum programming language, Mathematical. Structures in Comp. Sci, vol.14, issue.4, pp.527-586, 2004.

P. Selinger, Dagger compact closed categories and completely positive maps, Electronic Notes in Theoretical Computer Science, vol.170, pp.139-163, 2007.

P. Selinger, A survey of graphical languages for monoidal categories, New structures for physics, pp.289-355, 2010.

P. Selinger, Generators and Relations for n-qubit Clifford Operators, Logical Methods in Computer Science, vol.11, issue.2, 2015.

P. Selinger and X. Bian, Relations for Clifford+T operators on two qubits, 2015.

R. Vilmart, A near-optimal axiomatisation of ZX-calculus for pure qubit quantum mechanics, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01963426

F. Zanasi, Interacting Hopf Algebras-the theory of linear systems, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01218015