I. Lari and L. Ricci.
" Array Region Analyses by Abstract Interpretation Approaches", in <em>Anais do XII Symposium on Computer Architecture and High Performance Computing</em>, São Pedro/SP, 2000, pp. 305-312, doi: <a href="https://doi.org/10.5753/sbac-pad.2000.41229">https://doi.org/10.5753/sbac-pad.2000.41229</a>.