Rodriguez, N., Ierusalimschy, R., & Rangel, J. (1993). Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos. In Proceedings of the 7th Brazilian Symposium on Software Engineering, (pp. 282-294). Porto Alegre: SBC. doi:10.5753/sbes.1993.24411