1. Aharonov, D.: A simple proof that Toffoli and Hadamard are quantum universal, arXiv:quant-ph/0301040 (2003)
2. Aharonov, D., Kitaev, A., Nisan, N.: Quantum circuits with mixed states. In: STOC ’98: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, pp. 20–30. ACM, New York (1998)
3. Cattaneo, G., Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational structures. Math. Slovaca 54, 87–108 (2004)
4. Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational logics: A survey. In: Hendricks, V.F., Malinowski, J. (eds.) Trends in Logic: 50 Years of Studia Logica, pp. 213–255. Kluwer Academic, Dordrecht (2003)
5. Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Logics from quantum computation. Int. J. Quant. Inf. 3, 293–337 (2005)