A. S. Green, Lumsdaine, P. LeFanu, Ross, N. J., Selinger, P., and Valiron, B.,
“An Introduction to Quantum Programming in Quipper”,
Lecture Notes in Computer Science, vol. 7948, pp. 110-124, 2013.
A. M. Childs, Leung, D., Mancinska, L., and Ozols, M.,
“Interpolatability distinguishes LOCC from separable von Neumann measurements”,
Journal of Mathematical Physics, vol. 54, no. 11, p. 112204, 2013.