Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso: Elimination of Java array bounds checks in the presence of indirection. Java Grande 2002: 76-85