Rodriguez, Noemi, 		Ierusalimschy, Roberto, AND 		Rangel, José.
" Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (27 October 1993)