Rodrigues, Walace, and Roberto da Silva Bigonha. " Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos." Anais do VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1993. SBC, 1993, pp.46-61.