Sergey Bravyi, David Fattal & Daniel Gottesman (2006):
GHZ extraction yield for multipartite stabilizer states.
J. Math. Phys. 47(6),
pp. 062106,
doi:10.1063/1.2203431.
Available at https://arxiv.org/abs/quant-ph/0504208.
David Fattal, Toby S Cubitt, Yoshihisa Yamamoto, Sergey Bravyi & Isaac L Chuang (2004):
Entanglement in the stabilizer formalism.
arXiv preprint.
Available at https://arxiv.org/abs/quant-ph/0406168.
Daniel Gottesman (1998):
The Heisenberg Representation of Quantum Computers.
In: Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics,
pp. 32–43.
Available at https://arxiv.org/abs/quant-ph/9807006.
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger & Benoît Valiron (2013):
Quipper: A Scalable Quantum Programming Language.
In: Proc. PLDI '13,
pp. 333–342,
doi:10.1145/2491956.2462177.
Available at https://arxiv.org/abs/1304.3390.
Kentaro Honda (2015):
Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism.
In: Proc. QPL '15,
pp. 262–272,
doi:10.4204/EPTCS.195.19.
Michael A. Nielsen & Isaac L. Chuang (2010):
Quantum Computation and Quantum Information: 10th Anniversary Edition.
Cambridge University Press,
doi:10.1017/CBO9780511976667.
Adam Paetznick & Ben W. Reichardt (2013):
Universal Fault-Tolerant Quantum Computation with Only Transversal Gates and Error Correction.
Phys. Rev. Lett. 111,
pp. 090505,
doi:10.1103/PhysRevLett.111.090505.
Available at https://arxiv.org/abs/1304.3709.
Simon Perdrix (2007):
Quantum Patterns and Types for Entanglement and Separability.
Electron. Notes Theor. Comput. Sci. 170,
pp. 125–138,
doi:10.1016/j.entcs.2006.12.015.
Proc. QPL '05.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Robert Rand, Jennifer Paykin, Dong-Ho Lee & Steve Zdancewic (2018):
ReQWIRE: Reasoning about Reversible Quantum Circuits.
In: Proc. QPL '18,
pp. 299–312,
doi:10.4204/EPTCS.287.17.
Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz & Martin Roetteler (2018):
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.
In: Proc. Real World Domain Specific Languages Workshop (RWDSL) 2018,
pp. 7:1–7:10,
doi:10.1145/3183895.3183901.
Available at https://arxiv.org/abs/1803.00652.
Theodore J. Yoder (2017):
Universal fault-tolerant quantum computation with Bacon-Shor codes.
arXiv preprint.
Available at https://arxiv.org/abs/1705.01686.