K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.,
“A Verified Optimizer for Quantum Circuits”,
Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.
A. M. Childs, Gosset, D., and Webb, Z.,
“Universal computation by multi-particle quantum walk”,
Science, vol. 339, no. 6121, pp. 791 - 794, 2013.