Towards a quantum programming language
Algorithms for Quantum Computation: Discrete Log and Factoring (Extended Abstract)