Rodriguez, Noemi, 		Ierusalimschy, Roberto, E 		Rangel, José.
" Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1993)