[1] Feynman R P. Simulating physics with computers [J]. Int. J. Theor. Phys., 1982, 21: 457-488.

[2] Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer [C]. Proc. of Roy. Soc. London A, 1985, 400: 97-117.

[3] Shor P W. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer [J]. SIAM Journal on Computing, 1997, 26: 1484-1509.

[4] Miller D M, Maslov D, Dueck G W. A transformation based algorithm for reversible logic synthesis [C]. Proc. of the 40th Conference on Design Automation, 2003, 318-321.

[5] Dueck G W, Maslov D, Miller D M. Transformation-based synthesis of networks of Toffoli/Fredkin gates [C]. Proceedings of the 2003 IEEE/ACM International Conference on Computer-aided Design, 2003, 211-214.

[6] Maslov D, Dueck G W, Miller D M. Fredkin/Toffoli templates for reversible logic synthesis [C]. ICCAD, 2003, 9-13.

[7] Fredkin E. Toffoli T. Conservative logic [J]. Int. J. Theor. Phys., 1982, 21: 219-253.