Meira, S., & 		Lisboa, P.
1992 Nov  4.  Smalltracer: Um verificador de tipos e condições para Smalltalk. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :