Rodriguez, N., Ierusalimschy, R., & Rangel, J. 1993 out 27. Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :