W. Rodrigues and R. Bigonha.
" Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 46-61, doi: <a href="https://doi.org/10.5753/sbes.1993.24395">https://doi.org/10.5753/sbes.1993.24395</a>.