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.
G. Pupillo, Rey, A. Maria, Williams, C. J., and Clark, C. W.,
“Pseudo-fermionization of 1-D bosons in optical lattices”,
New Journal of Physics, vol. 8, no. 8, pp. 161 - 161, 2006.