Nicholas Mitchell, Larry Carter, Jeanne Ferrante: Localizing Non-Affine Array References. IEEE PACT 1999: 192-202