Rodriguez, Noemi, Roberto Ierusalimschy, and José Lucas Rangel.
" Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.282-294.