Thorsten Altenkirch & Jonathan Grattage (2005):
A functional quantum programming language.
In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, 2005..
IEEE,
pp. 249–258,
doi:10.1109/LICS.2005.1.
W. Arveson (1969):
Subalgebras of C^*-algebras.
Acta Math 123,
pp. 141–224,
doi:10.1007/BF02392388.
V. P. Belavkin & P. Staszewski (1986):
Radon-Nikodym theorem for completely positive maps.
Reports on Mathematical Physics 24(1),
pp. 49–55,
doi:10.1016/0034-4877(86)90039-X.
D. Deutsch (1985):
Quantum theory, the Church-Turing Principle and the universal quantum computer.
Proc. Roy. Soc. Lond. A 400,
pp. 97,
doi:10.1098/rspa.1985.0070.
D. Deutsch & R. Jozsa (1992):
Rapid solution of problems by quantum computation.
Proc. Roy. Soc. Lond. A 439,
pp. 553,
doi:10.1098/rspa.1992.0167.
A. Yu. Kitaev, A. H. Shen & M. N. Vyalyi. (2002):
Classical and quantum computation.
Graduate Studies in Mathematics.
American Mathematical Society,
Providence, RI.
K. Kraus (1983):
States, Effects and Operations.
Lecture Notes in Physics 190.
Springer-Verlag,
doi:10.1007/3540127321_22.
M. Nielsen & I. Chuang (2000):
Quantum Computation and Quantum Information.
Cambridge University Press.
Maxim Raginsky (2003):
Radon-Nikodym derivatives of quantum operations.
Journal of Mathematical Physics 44(11),
pp. 5003–5020,
doi:10.1063/1.1615697.
Peter Selinger (2004):
Towards a Quantum Programming Language.
Mathematical Structures in Computer Science 14(4),
pp. 527–586,
doi:10.1017/S0960129504004256.
Mingsheng Ying (2014):
Quantum Recursion and Second Quantisation.
Available on the arXiv 1405.4443.
Mingsheng Ying, Nengkun Yu & Yuan Feng (2014):
Alternation on quantum programming: from superposition of data to superposition of programs.
Available in arXiv as 1402.5172.