Manin, Y. I. (2000). Classical computing, quantum computing, and Shor's factoring algorithm. Séminaire Bourbaki, Vol. 1998/99, Exp. No. 862, 5, 375–404.