@article(AG04,
 author       = {Scott Aaronson and Daniel Gottesman},
 year         = {2004},
 title        = {Improved simulation of stabilizer circuits},
 journal      = {Physical Review A},
 volume       = {70},
 pages        = {052328},
 doi          = {10.1103/PhysRevA.70.052328},
)
@article(AP05,
 author       = {Koenraad M R Audenaert and Martin B Plenio},
 year         = {2005},
 title        = {Entanglement on mixed stabilizer states: normal forms and reduction procedures},
 journal      = {New Journal of Physics},
 volume       = {7},
 number       = {1},
 pages        = {170},
 doi          = {10.1088/1367-2630/7/1/170},
)
@article(BBCJPW93,
 author       = {Charles H. Bennett and Gilles Brassard and Claude Cr\'epeau and Richard Jozsa and Asher Peres and William K. Wootters},
 year         = {1993},
 title        = {Teleporting an unknown quantum state via dual classical and {Einstein-Podolsky-Rosen} channels},
 journal      = {Physical Review Letters},
 volume       = {70},
 number       = {13},
 pages        = {1895--1899},
 doi          = {10.1103/PhysRevLett.70.1895},
)
@article(BW92,
 author       = {Charles H. Bennett and Stephen J. Wiesner},
 year         = {1992},
 title        = {Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states},
 journal      = {Physical Review Letters},
 volume       = {69},
 pages        = {2881--2884},
 doi          = {10.1103/PhysRevLett.69.2881},
)
@incollection(GNP08,
 author       = {Simon J. Gay and Rajagopal Nagarajan and Nikolaos Papanikolaou},
 year         = {2008},
 title        = {QMC: A Model Checker for Quantum Systems},
 editor       = {Aarti Gupta and Sharad Malik},
 booktitle    = {Computer Aided Verification},
 series       = {Lecture Notes in Computer Science},
 volume       = {5123},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {543--547},
 doi          = {10.1007/978-3-540-70545-1\_51},
)
@incollection(GNP09,
 author       = {Simon J. Gay and Rajagopal Nagarajan and Nikolaos Papanikolaou},
 year         = {2009},
 title        = {Specification and Verification of Quantum Protocols},
 editor       = {Simon Gay and Ian Mackie},
 booktitle    = {Semantic Techniques in Quantum Computation},
 publisher    = {Cambridge University Press},
 pages        = {414--472},
 doi          = {10.1017/CBO9781139193313.012},
 note         = {Cambridge Books Online},
)
@article(G96,
 author       = {Daniel Gottesman},
 year         = {1996},
 title        = {Class of quantum error-correcting codes saturating the quantum Hamming bound},
 journal      = {Physical Review A},
 volume       = {54},
 pages        = {1862--1868},
 doi          = {10.1103/PhysRevA.54.1862},
)
@incollection(JP09,
 author       = {Philippe Jorrand and Simon Perdrix},
 year         = {2009},
 title        = {Abstract Interpretation Techniques for Quantum Computation},
 editor       = {Simon Gay and Ian Mackie},
 booktitle    = {Semantic Techniques in Quantum Computation},
 publisher    = {Cambridge University Press},
 pages        = {206--234},
 doi          = {10.1017/CBO9781139193313.007},
)
@book(NC00,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2000},
 title        = {Quantum Computation and Quantum Information},
 publisher    = {Cambridge University Press},
)
@article(P07,
 author       = {Simon Perdrix},
 year         = {2007},
 title        = {Quantum Patterns and Types for Entanglement and Separability},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 number       = {0},
 pages        = {125--138},
 doi          = {10.1016/j.entcs.2006.12.015},
)
@article(P08a,
 author       = {Simon Perdrix},
 year         = {2008},
 title        = {A Hierarchy of Quantum Semantics},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {192},
 number       = {3},
 pages        = {71--83},
 doi          = {10.1016/j.entcs.2008.10.028},
)
@incollection(P08b,
 author       = {Simon Perdrix},
 year         = {2008},
 title        = {Quantum Entanglement Analysis Based on Abstract Interpretation},
 editor       = {Mar\'{i}a Alpuente and Germ\'{a}n Vidal},
 booktitle    = {Static Analysis},
 series       = {Lecture Notes in Computer Science},
 volume       = {5079},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {270--282},
 doi          = {10.1007/978-3-540-69166-2\_18},
)
@incollection(PZ09,
 author       = {Fr\'{e}d\'{e}ric Prost and Chaouki Zerrari},
 year         = {2009},
 title        = {Reasoning about Entanglement and Separability in Quantum Higher-Order Functions},
 editor       = {CristianS. Calude and Jos\'{e}F\'{e}lix Costa and Nachum Dershowitz and Elisabete Freire and Grzegorz Rozenberg},
 booktitle    = {Unconventional Computation},
 series       = {Lecture Notes in Computer Science},
 volume       = {5715},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {219--235},
 doi          = {10.1007/978-3-642-03745-0\_25},
)
@article(RB01,
 author       = {Robert Raussendorf and Hans J. Briegel},
 year         = {2001},
 title        = {A One-Way Quantum Computer},
 journal      = {Physical Review Letters},
 volume       = {86},
 pages        = {5188--5191},
 doi          = {10.1103/PhysRevLett.86.5188},
)
@article(S04,
 author       = {Peter Selinger},
 year         = {2004},
 title        = {Towards a quantum programming language},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 pages        = {527--586},
 doi          = {10.1017/S0960129504004256},
)