Ilaria Lari and Laura Ricci. 2000.
 Array Region Analyses by Abstract Interpretation Approaches. In <em>Anais do XII Symposium on Computer Architecture and High Performance Computing</em>, outubro 24, 2000, São Pedro/SP, Brasil. SBC, Porto Alegre, Brasil, 305-312. DOI: <a href="https://doi.org/10.5753/sbac-pad.2000.41229">https://doi.org/10.5753/sbac-pad.2000.41229</a>.