Bell,, "Reachability problems in quaternion matrix and rotation semigroups", Information and Computation, 2008