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.