M. Backens, The ZX-calculus is complete for stabilizer quantum mechanics, New Journal of Physics, vol.16, issue.9, p.093021093021, 2014.
DOI : 10.1088/1367-2630/16/9/093021

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

M. Backens, Making the stabilizer ZX-calculus complete for scalars, Electronic Proceedings in Theoretical Computer Science
DOI : 10.4204/EPTCS.195.2

M. Backens and A. N. Duman, A complete graphical calculus for spekkens' toy bit theory. Foundations of Physics, pp.1-3410, 2014.
DOI : 10.1007/s10701-015-9957-7
URL : http://arxiv.org/abs/1411.1618

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

B. Coecke, Axiomatic Description of Mixed States From Selinger's CPM-construction, Electronic Notes in Theoretical Computer Science, vol.210, pp.3-13, 2008.
DOI : 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://doi.org/10.1088/1367-2630/13/4/043016

B. Coecke and B. Edwards, Three qubit entanglement within graphical Z/X-calculus, Electronic Proceedings in Theoretical Computer Science, pp.22-33, 2011.
DOI : 10.4204/EPTCS.52.3
URL : http://arxiv.org/abs/1103.2811

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.1007/978-3-642-15205-4_20
URL : https://hal.archives-ouvertes.fr/hal-00940885

R. Duncan and S. Perdrix, Graphs states and the necessity of euler decomposition Mathematical Theory and Computational Practice, pp.167-17710, 2009.

R. Duncan and S. 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

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

E. Jeandel, S. Perdrix, and R. Vilmart, A complete axiomatisation of the zx-calculus for clifford+ t quantum mechanics, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01529623

E. Jeandel, S. Perdrix, and R. Vilmart, Y-calculus: A language for real matrices derived from the zx-calculus, Conference on Quantum Physics and Logics (QPL'17), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01445948

S. Perdrix and Q. Wang, Supplementarity is necessary for quantum diagram reasoning URL: https, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics (LIPIcs), pp.1-76, 2016.

C. Schröder, D. Witt, and V. Zamdzhiev, The zx-calculus is incomplete for quantum mechanics, Electronic Proceedings in Theoretical Computer Science

P. Selinger, Finite dimensional Hilbert spaces are complete for dagger compact closed categories, Logical Methods in Computer Science, vol.8, issue.3, pp.1-1210, 2012.
DOI : 10.2168/LMCS-8(3:6)2012
URL : http://arxiv.org/pdf/1207.6972

P. Selinger, -depth one, Physical Review A, vol.87, issue.4, p.42302, 2013.
DOI : 10.1119/1.1463744
URL : https://hal.archives-ouvertes.fr/jpa-00247702

R. Spekkens, Evidence for the epistemic view of quantum states: A toy theory, Physical Review A, vol.5, issue.3, p.32110, 2007.
DOI : 10.1023/A:1017597528026