J. Rührig, Bäuerle, T., Julienne, P. S., Tiesinga, E., and Pfau, T.,
“Photoassociation of spin polarized Chromium”,
Physical Review A, vol. 93, no. 2, p. 021406, 2016.
S. D. Alexander, Ross, N. J., Selinger, P., Smith, J. M., and Valiron, B.,
“Programming the Quantum Future”,
Communications of the ACM, vol. 58, no. 8, pp. 52-61, 2015.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.