@inproceedings(cqm,
 author       = "S.~Abramsky and B.~Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 booktitle    = "Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on",
 pages        = "415--425",
 doi          = "10.1109/LICS.2004.1319636",
)
@inproceedings(miriam_complete_sqm,
 author       = "Miriam Backens",
 year         = "2012",
 title        = "The ZX-calculus is complete for stabilizer quantum mechanics",
 booktitle    = "{\rm Proceedings 9th International Workshop on} Quantum Physics and Logic, {\rm Brussels, Belguim October 10-12, 2012}",
 url          = "http://arxiv.org/abs/1307.7025",
)
@incollection(zx_small,
 author       = "Bob Coecke and Ross Duncan",
 year         = "2008",
 title        = "Interacting Quantum Observables",
 editor       = "Luca Aceto and Ivan Damg{\r a}rd and LeslieAnn Goldberg and Magn\'{u}sM. Halld\'{o}rsson and Anna Ing\'{o}lfsd\'{o}ttir and Igor Walukiewicz",
 booktitle    = "Automata, Languages and Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "5126",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "298--310",
 doi          = "10.1007/978-3-540-70583-3\_25",
)
@article(bigmainzx,
 author       = "Bob Coecke and Ross Duncan",
 year         = "2011",
 title        = "Interacting quantum observables: categorical algebra and diagrammatics",
 journal      = "New Journal of Physics",
 volume       = "13",
 number       = "4",
 pages        = "043016",
 doi          = "10.1088/1367-2630/13/4/043016",
)
@inproceedings(strongcompl,
 author       = "Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang",
 year         = "2012",
 title        = "Strong Complementarity and Non-locality in Categorical Quantum Mechanics",
 booktitle    = "Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science",
 series       = "LICS '12",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "245--254",
 doi          = "10.1109/LICS.2012.35",
)
@inproceedings(quanto_steane_code,
 author       = "Ross Duncan and Maxime Lucas",
 year         = "2013",
 title        = "{Verifying the Steane code with Quantomatic}",
 booktitle    = "{\rm Proceedings 10th International Workshop on} Quantum Physics and Logic, {\rm Barcelona, Spain, July 17-19, 2013}",
 url          = "http://arxiv.org/abs/1306.4532",
)
@incollection(euler_necessity,
 author       = "Ross Duncan and Simon Perdrix",
 year         = "2009",
 title        = "Graph States and the Necessity of Euler Decomposition",
 editor       = "Klaus Ambos-Spies and Benedikt L{\"o}we and Wolfgang Merkle",
 booktitle    = "Mathematical Theory and Computational Practice",
 series       = "Lecture Notes in Computer Science",
 volume       = "5635",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "167--177",
 doi          = "10.1007/978-3-642-03073-4\_18",
)
@incollection(zx_mbqc,
 author       = "Ross Duncan and Simon Perdrix",
 year         = "2010",
 title        = "Rewriting Measurement-Based Quantum Computations with Generalised Flow",
 editor       = "Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf~der Heide and PaulG. Spirakis",
 booktitle    = "Automata, Languages and Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "6199",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "285--296",
 doi          = "10.1007/978-3-642-14162-1\_24",
)
@article(gottesman_heisenberg_1999,
 author       = "D.~Gottesman",
 year         = "1999",
 title        = "The Heisenberg Representation of Quantum Computers",
 journal      = "Group22: Proceedings of the {XXII} International Colloquium on Group Theoretical Methods in Physics",
 number       = "eds. S. P. Corney, R. Delbourgo, and P. D. Jarvis",
 pages        = "32--43",
)
@article(hein_multiparty_2004,
 author       = "M.~Hein and J.~Eisert and H.~J. Briegel",
 year         = "2004",
 title        = "Multiparty entanglement in graph states",
 journal      = "Physical Review A",
 volume       = "69",
 number       = "6",
 pages        = "062311",
 doi          = "10.1103/PhysRevA.69.062311",
 url          = "http://link.aps.org/doi/10.1103/PhysRevA.69.062311",
)
@inproceedings(hillebrand_qpl12,
 author       = "Anne Hillebrand",
 year         = "2011",
 title        = "{Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus}",
 editor       = "Bart Jacobs and Peter Selinger and Bas Spitters",
 booktitle    = "{\rm Proceedings 8th International Workshop on} Quantum Physics and Logic, {\rm Nijmegen, Netherlands, October 27-29, 2011}",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "95",
 publisher    = "Open Publishing Association",
 pages        = "103--121",
 doi          = "10.4204/EPTCS.95.10",
)
@book(quantum_book,
 author       = "Michael~A Nielsen and Isaac~L Chuang",
 year         = "2010",
 title        = "Quantum computation and quantum information",
 publisher    = "Cambridge university press",
 doi          = "10.1017/CBO9780511976667",
)