Lucas Dixon & Ross Duncan (2009):
Graphical Reasoning in Compact Closed Categories for Quantum Computation.
Annals of Mathematics and Artificial Intelligence 56(1),
pp. 23–42,
doi:10.1007/s10472-009-9141-x.
R Duncan (2006):
Types for Quantum Computing.
Oxford University.
R. Duncan & S. Perdrix (2010):
Rewriting measurement-based quantum computations with generalised flow.
In: S. Abramsky, C. Gavoille, C Kirchner, F. Meyer auf der Heide & P. G. Spirakis: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Proceedings Part II,
Lecture Notes in Computer Science 6199.
Springer,
pp. 285–296,
doi:10.1007/978-3-642-14162-1_24.
Ross Duncan (2013):
A graphical approach to measurement-based quantum computing.
In: Chris Heunen, Mehrnoosh Sadrzadeh & Edward Grefenstette: Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse, chapter 3.
Oxford University Press,
doi:10.1093/acprof:oso/9780199646296.003.0003.
N. David Mermin (2007):
Quantum Computer Science.
Cambridge University Press,
doi:10.1017/CBO9780511813870.
Andrew Steane (1996):
Multiple-Particle Interference and Quantum Error Correction.
Proc. R. Soc. Lond. A 8(1954),
pp. 2551–2577,
doi:10.1098/rspa.1996.0136.