N. Rodriguez, R. Ierusalimschy, and J. Rangel. " Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos", in Anais do VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1993, pp. 282-294, doi: https://doi.org/10.5753/sbes.1993.24411.