Miriam Backens (2014):
The ZX-calculus is complete for stabilizer quantum mechanics.
New Journal of Physics 16(9),
pp. 093021,
doi:10.1088/1367-2630/16/9/093021.
Miriam Backens (2015):
Making the stabilizer ZX-calculus complete for scalars.
Electronic Proceedings in Theoretical Computer Science 195,
pp. 17–32,
doi:10.4204/EPTCS.195.2.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics 13(4),
pp. 043016,
doi:10.1088/1367-2630/13/4/043016.
Ross Duncan & Simon Perdrix (2009):
Graph States and the Necessity of Euler Decomposition.
In: Mathematical Theory and Computational Practice 5635.
Springer Berlin Heidelberg,
pp. 167–177,
doi:10.1007/978-3-642-03073-4_18.
Ross Duncan & Simon Perdrix (2014):
Pivoting makes the ZX-calculus complete for real stabilizers.
Electronic Proceedings in Theoretical Computer Science 171,
pp. 50–62,
doi:10.4204/EPTCS.171.5.
Daniel Gottesman (1998):
The Heisenberg Representation of Quantum Computers.
In: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics.
arXiv:quant-ph/9807006.
Aleks Kissinger, Alex Merry, Ben Frot, Bob Coecke, David Quick, Lucas Dixon, Matvey Soloviev, Ross Duncan & Vladimir Zamdzhiev:
Quantomatic.
https://quantomatic.github.io/.
Accessed April 2016.
Michael A. Nielsen & Isaac L. Chuang (2010):
Quantum Computation and Quantum Information.
Cambridge University Press,
Cambridge,
doi:10.1017/CBO9780511976667.
Simon Perdrix & Quanlong Wang (2016):
Supplementarity is Necessary for Quantum Diagram Reasoning.
In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016),
LIPIcs 58,
pp. 76:1–76:14,
doi:10.4230/LIPIcs.MFCS.2016.76.
Robert Raussendorf & Hans J. Briegel (2001):
A One-Way Quantum Computer.
Physical Review Letters 86(22),
pp. 5188–5191,
doi:10.1103/PhysRevLett.86.5188.
Christian Schröder de Witt & Vladimir Zamdzhiev (2014):
The ZX-calculus is incomplete for quantum mechanics.
EPTCS 172,
pp. 285–292,
doi:10.4204/EPTCS.172.20.