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