Spencer, R., & Sampaio, A. (1996). De occam para o transputer: compilação via reescrita de termos. In Anais do X Simpósio Brasileiro de Engenharia de Software, (pp. 103-118). Porto Alegre: SBC. doi:10.5753/sbes.1996.24440