Bell. (2021). On Injectivity of Quantum Finite Automata. Journal of Computer and System Sciences, 19-33. https://doi.org/10.1016/j.jcss.2021.05.002