1. Model-theoretic logics: background and aims;Barwise,1985
2. The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computer s as represented by Turing machines;Benioff;Journal of Statistical Physics,1980
3. Logical reversibility of computation;Bennet;IBM Journal of Research and Development,1973
4. Quantum complexity theory;Bernstein;SIAM Journal on Computing,1997
5. Toward an arichtechture for quantum programming;Betteli,2001