@inproceedings(Altenkirch05,
 author       = {Thorsten Altenkirch and Jonathan Grattage},
 year         = {2005},
 title        = {A functional quantum programming language},
 booktitle    = {Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, 2005.},
 organization = {IEEE},
 pages        = {249--258},
 doi          = {10.1109/LICS.2005.1},
)
@article(Arveson69,
 author       = {W. Arveson},
 year         = {1969},
 title        = {Subalgebras of $C^*$-algebras},
 journal      = {Acta Math},
 volume       = {123},
 pages        = {141--224},
 doi          = {10.1007/BF02392388},
)
@article(Belavkin86,
 author       = {V. P. Belavkin and P. Staszewski},
 year         = {1986},
 title        = {Radon-{N}ikodym theorem for completely positive maps},
 journal      = {Reports on Mathematical Physics},
 volume       = {24},
 number       = {1},
 pages        = {49--55},
 doi          = {10.1016/0034-4877(86)90039-X},
)
@article(Deutsch85,
 author       = {D. Deutsch},
 year         = {1985},
 title        = {Quantum theory, the {C}hurch-{T}uring {P}rinciple and the universal quantum computer},
 journal      = {Proc. Roy. Soc. Lond. A},
 volume       = {400},
 pages        = {97},
 doi          = {10.1098/rspa.1985.0070},
)
@article(Deutsch92,
 author       = {D. Deutsch and R. Jozsa},
 year         = {1992},
 title        = {Rapid solution of problems by quantum computation},
 journal      = {Proc. Roy. Soc. Lond. A},
 volume       = {439},
 pages        = {553},
 doi          = {10.1098/rspa.1992.0167},
)
@book(Garrison08,
 author       = {J. C. Garrison and R. Y. Chiao},
 year         = {2008},
 title        = {Quantum Optics},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780198508861.001.0001},
)
@book(Kitaev02,
 author       = {A. Yu. Kitaev and A. H. Shen and M. N. Vyalyi.},
 year         = {2002},
 title        = {Classical and quantum computation},
 series       = {Graduate Studies in Mathematics},
 publisher    = {American Mathematical Society},
 address      = {Providence, RI},
)
@book(Kraus83,
 author       = {K. Kraus},
 year         = {1983},
 title        = {States, Effects and Operations},
 series       = {Lecture Notes in Physics},
 volume       = {190},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/3540127321\_22},
)
@book(Nielsen00,
 author       = {M. Nielsen and I. Chuang},
 year         = {2000},
 title        = {Quantum Computation and Quantum Information},
 publisher    = {Cambridge University Press},
)
@article(Raginsky03,
 author       = {Maxim Raginsky},
 year         = {2003},
 title        = {Radon-{N}ikodym derivatives of quantum operations},
 journal      = {Journal of Mathematical Physics},
 volume       = {44},
 number       = {11},
 pages        = {5003--5020},
 doi          = {10.1063/1.1615697},
)
@article(Selinger04,
 author       = {Peter Selinger},
 year         = {2004},
 title        = {Towards a Quantum Programming Language},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {4},
 pages        = {527--586},
 doi          = {10.1017/S0960129504004256},
)
@unpublished(Ying14a,
 author       = {Mingsheng Ying},
 year         = {2014},
 title        = {Quantum Recursion and Second Quantisation},
 note         = {Available on the arXiv 1405.4443},
)
@unpublished(Ying14,
 author       = {Mingsheng Ying and Nengkun Yu and Yuan Feng},
 year         = {2014},
 title        = {Alternation on quantum programming: from superposition of data to superposition of programs},
 note         = {Available in arXiv as 1402.5172},
)