S. Meira and P. Lisboa. " Smalltracer: Um verificador de tipos e condições para Smalltalk", in Anais do VI Simpósio Brasileiro de Engenharia de Software, Gramado/RS, 1992, pp. 203-211, doi: https://doi.org/10.5753/sbes.1992.25184.