Rodriguez, Noemi, Roberto Ierusalimschy, and José Lucas Rangel.
" Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos." <em>Proceedings of the 7th Brazilian Symposium on Software Engineering,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.282-294.