@article(1701.00140,
 author       = {Matthew Amy and Jianxin Chen and Neil J. Ross},
 year         = {2017},
 title        = {{A finite presentation of CNOT-dihedral operators}},
 journal      = {ArXiv e-prints},
 note         = {\url{https://arxiv.org/abs/1701.00140}},
)
@article(ZXcomplete,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {The ZX-calculus is complete for stabilizer quantum mechanics},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {9},
 pages        = {093021},
 doi          = {10.1088/1367-2630/16/9/093021},
)
@article(ZX,
 author       = {Miriam Backens and Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {A simplified Stabilizer zx-calculus},
 journal      = {arXiv preprint arXiv:1602.04744},
 doi          = {10.4204/EPTCS.236.1},
)
@article(torsor,
 author       = {Wolfgang Bertram and Michael Kinyon},
 year         = {2009},
 title        = {Associative geometries. I: Torsors, linear relations and grassmannians},
 journal      = {arXiv preprint arXiv:0903.5441},
 note         = {\url{https://arxiv.org/abs/0903.5441}},
)
@article(chiaverini2004realization,
 author       = {John Chiaverini and Dietrich Leibfried and Tobias Schaetz and Murray D. Barrett and Bradford R. Blakestad and Joseph W. Britton and Wayne M. Itano and John D. Jost and Emanuel Knill and Christopher Langer},
 year         = {2004},
 title        = {Realization of quantum error correction},
 journal      = {Nature},
 volume       = {432},
 number       = {7017},
 pages        = {602--605},
 doi          = {10.1103/PhysRevLett.81.1525},
)
@article(Cockett,
 author       = {J. Robin B. Cockett and Stephen Lack},
 year         = {2002},
 title        = {Restriction categories I: categories of partial maps},
 journal      = {Theoretical computer science},
 volume       = {270},
 number       = {1},
 pages        = {223--259},
 doi          = {10.1016/S0304-3975(00)00382-0},
)
@article(coecke2011interacting,
 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},
)
@article(Giles,
 author       = {Brett Giles},
 year         = {2014},
 title        = {An investigation of some theoretical aspects of reversible computing},
 journal      = {Ph.D. thesis},
 note         = {\url{http://pages.cpsc.ucalgary.ca/~robin/Theses/BrettGilesPhD.pdf}},
)
@article(gottesman1997stabilizer,
 author       = {Daniel Gottesman},
 year         = {1997},
 title        = {Stabilizer codes and quantum error correction},
 journal      = {arXiv preprint quant-ph/9705052},
 note         = {\url{https://arxiv.org/abs/quant-ph/9705052}},
)
@article(1408.5728,
 author       = {Martin Idel and Michael M. Wolf},
 year         = {2014},
 title        = {Sinkhorn normal form for unitary matrices},
 doi          = {10.1016/j.laa.2014.12.031},
)
@article(torsororig,
 author       = {Maxim Kontsevich},
 year         = {1999},
 title        = {Operads and motives in deformation quantization},
 journal      = {Letters in Mathematical Physics},
 volume       = {48},
 number       = {1},
 pages        = {35--72},
 doi          = {10.1023/A:1007555725247},
)
@article(Lafont,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an algebraic theory of Boolean circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 pages        = {2003},
 doi          = {10.1016/S0022-4049(03)00069-0},
)
@article(selinger2007dagger,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(1506.03777,
 author       = {Siyao Xu},
 year         = {2015},
 title        = {{Reversible Logic Synthesis with Minimal Usage of Ancilla Bits}},
 journal      = {ArXiv e-prints},
 note         = {\url{https://arxiv.org/abs/1506.03777}},
)