J. Chen, Johnston, N., Li, C. - K., and Plosker, S.,
“Quantifying the coherence of pure quantum states”,
Physical Review A, vol. 94, no. 4, p. 042313, 2016.
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.
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.
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.