• Quantum Mechanics : C. Cohen-Tannoudji, B. Diu e F. Laloë 1977 John Wiley, (volumes One and Two)
  • Quantum Computing: M. Hirvensalo 2004 Springer-Verlag, (Second Edition).
  • Quantum Computation and Quantum Information: M. A. Nielsen 2000 Cambridge University Press


  • Quantum cryptography: Public key distribution and coin tossing: C. H. Bennett e G. Brassard 1984 Proceedings of IEEE, nternational Conference on Computers, Systems and Signal Processing, 175--179
  • Quantum mechanics helps in searching for a needle in a haystack: L. K. Grover 1997 Physical Review Letters, 79(2):325
  • Weakly complete axiomatization of exogenous quantum propositional logic: P. Mateus e A. Sernadas 2005 Information and Computation, to appear.
  • Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer: P. Shor 1997 SIAM Journal of Computing, 26(5):1484--1509