@inproceedings(aaronson,
 author       = {Scott Aaronson and Daniel Grier and Luke Schaeffer},
 year         = {2017},
 title        = {{The Classification of Reversible Bit Operations}},
 editor       = {Christos H. Papadimitriou},
 booktitle    = {8th Innovations in Theoretical Computer Science Conference (ITCS 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {67},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {23:1--23:34},
 doi          = {10.4230/LIPIcs.ITCS.2017.23},
)
@inproceedings(inverse1,
 author       = {Holger Bock Axelsen and Robin Kaarsgaard},
 year         = {2016},
 title        = {Join inverse categories as models of reversible recursion},
 booktitle    = {International Conference on Foundations of Software Science and Computation Structures},
 organization = {Springer},
 pages        = {73--90},
 doi          = {10.1007/978-3-662-49630-5\_5},
)
@article(Barr,
 author       = {Michael Barr},
 year         = {1992},
 title        = {Algebraically compact functors},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {82},
 number       = {3},
 pages        = {211--231},
 doi          = {10.1016/0022-4049(92)90169-G},
)
@article(Cockett,
 author       = {J.R.B. Cockett and Stephen Lack},
 year         = {2002},
 title        = {Restriction categories I: categories of partial maps},
 journal      = {Theoretical computer science},
 volume       = {270},
 number       = {1-2},
 pages        = {223--259},
 doi          = {10.1016/S0304-3975(00)00382-0},
)
@article(CNOT,
 author       = {J.R.B. Cockett and Cole Comfort and Priyaa Srinivasan},
 year         = {2018},
 title        = {The Category {CNOT}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 pages        = {258--293},
 doi          = {10.4204/eptcs.266.18},
)
@incollection(fredkin2002conservative,
 author       = {Edward Fredkin and Tommaso Toffoli},
 year         = {2002},
 title        = {Conservative logic},
 booktitle    = {Collision-based computing},
 publisher    = {Springer},
 pages        = {47--81},
 doi          = {10.1007/BF01857727},
)
@phdthesis(Giles,
 author       = {Brett Giles},
 year         = {2014},
 title        = {An investigation of some theoretical aspects of reversible computing},
 school       = {University of Calgary},
 doi          = {10.5072/PRISM/24917},
)
@inproceedings(inverse2,
 author       = {Robert Gl{\"u}ck and Robin Kaarsgaard},
 year         = {2017},
 title        = {A categorical foundation for structured reversible flowchart languages},
 booktitle    = {Proceedings of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII)},
 doi          = {10.1016/j.entcs.2018.03.021},
)
@article(Gottesman,
 author       = {Daniel Gottesman},
 year         = {1997},
 title        = {Stabilizer codes and quantum error correction},
 journal      = {arXiv preprint quant-ph/9705052},
 doi          = {10.7907/rzr7-dt72},
)
@inproceedings(quipper,
 author       = {Alexander S Green and Peter LeFanu Lumsdaine and Neil J Ross and Peter Selinger and Beno{\^\i}t Valiron},
 year         = {2013},
 title        = {An introduction to quantum programming in Quipper},
 booktitle    = {International Conference on Reversible Computation},
 organization = {Springer},
 pages        = {110--124},
 doi          = {10.1007/978-3-642-38986-3\_10},
)
@inproceedings(Iwama,
 author       = {Kazuo Iwama and Yahiko Kambayashi and Shigeru Yamashita},
 year         = {2002},
 title        = {Transformation rules for designing CNOT-based quantum circuits},
 booktitle    = {Proceedings of the 39th annual Design Automation Conference},
 organization = {ACM},
 pages        = {419--424},
 doi          = {10.1145/513918.514026},
)
@article(Lafont,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an algebraic theory of boolean circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 number       = {2-3},
 pages        = {257--310},
 doi          = {10.1016/S0022-4049(03)00069-0},
)
@article(realize,
 author       = {T Monz and K Kim and W H{\"a}nsel and M Riebe and AS Villar and P Schindler and M Chwalla and M Hennrich and R Blatt},
 year         = {2009},
 title        = {Realization of the quantum Toffoli gate with trapped ions},
 journal      = {Physical review letters},
 volume       = {102},
 number       = {4},
 pages        = {040501},
 doi          = {10.1103/PhysRevLett.102.040501},
)
@article(realize2,
 author       = {Matthew D Reed and Leonardo DiCarlo and Simon E Nigg and Luyan Sun and Luigi Frunzio and Steven M Girvin and Robert J Schoelkopf},
 year         = {2012},
 title        = {Realization of three-qubit quantum error correction with superconducting circuits},
 journal      = {Nature},
 volume       = {482},
 number       = {7385},
 pages        = {382},
 doi          = {10.1038/nature10786},
)
@inproceedings(Shor,
 author       = {Peter W Shor},
 year         = {1996},
 title        = {Fault-tolerant quantum computation},
 booktitle    = {Proceedings of 37th Conference on Foundations of Computer Science},
 organization = {IEEE},
 pages        = {56--65},
 doi          = {10.1109/SFCS.1996.548464},
)
@article(ZX,
 author       = {Renaud Vilmart},
 year         = {2018},
 title        = {A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+ T, and Beyond},
 journal      = {arXiv preprint arXiv:1804.03084},
)