1. Abhari, A.J., et al.: Scaffold: quantum programming language. Technical Report TR-934-12, Dept. of Computer Science, Princeton University NJ (2012). ftp://ftp.cs.princeton.edu/reports/2012/934.pdf
2. Akatov, D.: The Logic of Quantum Program Verification. Master’s thesis, Oxford University Computing Laboratory (2005). http://www.academia.edu/download/7563948/thesis-1.1.ps
3. Aleksandrowicz, G., et al.: Qiskit: an open-source framework for quantum computing (2019). https://doi.org/10.5281/zenodo.2562110
4. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 249–258. IEEE (2005)
5. Arute, F., et al.: Quantum approximate optimization of non-planar graph problems on a planar superconducting processor (2020). https://arxiv.org/abs/2004.04197