@incollection(Altenkirch,
 author       = "Thorsten Altenkirch and Alexander Green",
 year         = "2010",
 title        = "The {Quantum} {IO} {Monad}",
 editor       = "Simon Gay and Ian McKie",
 booktitle    = "Semantic Techniques in Quantum Computation",
 publisher    = "Cambridge University Press",
 pages        = "173--205",
)
@mastersthesis(Barratt,
 author       = "James Barratt",
 year         = "2010",
 title        = "Simulating Decoherence and Implementing Quantum Error Correction in the Quantum IO Monad",
 school       = "University of Nottingham",
)
@article(Shor,
 author       = "Peter W. Shor",
 year         = "1995",
 title        = "Scheme for reducing decoherence in quantum computer memory",
 journal      = "Phys. Rev. A",
 volume       = "52",
 pages        = "R2493--R2496",
 doi          = "10.1103/PhysRevA.52.R2493",
)
@article(Steane,
 author       = "A. M. Steane",
 year         = "1996",
 title        = "Error Correcting Codes in Quantum Theory",
 journal      = "Phys. Rev. Lett.",
 volume       = "77",
 pages        = "793--797",
 doi          = "10.1103/PhysRevLett.77.793",
)
@article(Zurek,
 author       = "Wojciech Hubert Zurek and Raymond Laflamme",
 year         = "1996",
 title        = "Quantum Logical Operations on Encoded Qubits",
 journal      = "Phys. Rev. Lett.",
 volume       = "77",
 pages        = "4683--4686",
 doi          = "10.1103/PhysRevLett.77.4683",
)