Bell, P. (2008). Reachability problems in quaternion matrix and rotation semigroups. Information and Computation, 1353 - 1361. https://doi.org/10.1016/j.ic.2008.06.004