Mitchell, Carter, Ferrante, n.d.. Localizing non-affine array references, in: . IEEE Comput. Soc.. https://doi.org/10.1109/pact.1999.807526