[1] Kaye, R., Laflamme, R., & Mosca, M. (2007). An Introduction to Quantum Computing. Oxford University Press.
[2] Barenco, A., et al. (1995). "Elementary gates for quantum computation." Physical Review A, 52(5), 3457.
[3] Amy, M., Maslov, D., & Mosca, M. (2013). "Polynomial-time T-depth optimization of Clifford+T circuits via matroid partitioning." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32(6), 818–830.
[4] Shende, V. V., Bullock, S. S., & Markov, I. L. (2006). "Synthesis of quantum logic circuits." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(6), 1000–1010.
[5] Gottesman, D. (1997). "Stabilizer codes and quantum error correction." PhD Thesis, California Institute of Technology.
[6] Qiskit Textbook. (2023). Learn Quantum Computation Using Qiskit. Online resource.