Algorithms for Quantum Computation: Discrete Log and Factoring (Extended Abstract)
Logical reversibility of computation