A. S. Green, Lumsdaine, P. LeFanu, Ross, N. J., Selinger, P., and Valiron, B.,
“Quipper: A Scalable Quantum Programming Language”,
ACM SIGPLAN Notices, vol. 48, no. 6, pp. 333-342, 2013.
S. Kimmel,
“Quantum Adversary (Upper) Bound”,
Chicago Journal of Theoretical Computer Science, vol. 19, no. 1, pp. 1 - 14, 2013.