. 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

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

. Backens, Making the stabilizer ZX-calculus complete for scalars, Electronic Proceedings in Theoretical Computer Science, vol.195, pp.17-32, 2015.
DOI : 10.4204/EPTCS.195.2

A. N. Backens and . Duman, A complete graphical calculus for Spekkens' toy bit theory. Foundations of Physics, pp.1-34, 2015.

S. Backens, Q. Perdrix, and . Wang, A Simplified Stabilizer ZX-calculus, Electronic Proceedings in Theoretical Computer Science, vol.236, 2016.
DOI : 10.4204/EPTCS.236.1
URL : https://hal.archives-ouvertes.fr/hal-01404591

O. Boykin, T. Mor, M. Pulver, V. P. Roychowdhury, and F. Vatan, On universal and fault-tolerant quantum computing: a novel basis and a new constructive proof of universality for Shor's basis, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039), pp.486-494, 1999.
DOI : 10.1109/SFFCS.1999.814621

R. Coecke and . 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

B. Coecke and . Edwards, Three qubit entanglement within graphical Z/X-calculus, Electronic Proceedings in Theoretical Computer Science 52, pp.22-33, 2010.
DOI : 10.4204/EPTCS.52.3

D. Coecke, J. Pavlovic, and . Vicary, A new description of orthogonal bases, Mathematical Structures in Computer Science, vol.404, issue.03, 2011.
DOI : 10.1016/0375-9601(82)90084-6

K. Duncan and . Dunne, Interacting Frobenius Algebras are Hopf. LICS'16, 2016.

S. Duncan and . Perdrix, Rewriting Measurement-Based Quantum Computations with Generalised Flow, Lecture Notes in Computer Science, vol.6199, pp.285-296, 2010.
DOI : 10.1007/978-3-642-14162-1_24
URL : https://hal.archives-ouvertes.fr/hal-00940895

S. Duncan and . Perdrix, Pivoting makes the ZX-calculus complete for real stabilizers, Electronic Proceedings in Theoretical Computer Science 171, pp.50-62, 2014.
DOI : 10.4204/EPTCS.171.5
URL : https://hal.archives-ouvertes.fr/hal-00935185

S. Duncan and . Perdrix, Graph States and the Necessity of Euler Decomposition. Mathematical Theory and Computational Practice, pp.167-177, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00940879

. Gottesman, Stabilizer Codes and Quantum Error Correction, 1997.

. Selinger, Finite dimensional Hilbert spaces are complete for dagger compact closed categories Electronic Notes in Theoretical Computer Science, pp.113-119, 2011.