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.
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.