Renata Spencer and Augusto Sampaio. 1996. De occam para o transputer: compilação via reescrita de termos. In Anais do X Simpósio Brasileiro de Engenharia de Software, outubro 14, 1996, São Carlos/SP, Brasil. SBC, Porto Alegre, Brasil, 103-118. DOI: https://doi.org/10.5753/sbes.1996.24440.