1. Aharonov, D. (2003). A simple proof that Toffoli and Hadamard are quantum universal. arXiv: quant-ph/0301040 .
2. Aharonov, D., Kitaev, A., Nisan, N. (1998). Quantum cirQ.E.Dtates. In STOC ’98: Proceedings of the thirtieth annual ACM symposium on theory of computing (pp. 20–30). ACM Press.
3. Cattaneo, G., Dalla Chiara, M.L., Giuntini, R., Leporini, R. (2004). Quantum computational structures. Mathematica Slovaca, 54, 87–108.
4. Cignoli, R., D’Ottaviano, I.M.L. , Mundici, D. (2000). Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer.
5. Dalla Chiara, M.L., Giuntini, R., Leporini, R. (2003). Quantum computational logics: a survey. In V.F. Hendricks & J. Malinowski (Eds.), Trends in logic: 50 years of studia logica (pp. 213–255). Dordrecht: Kluwer.