Spencer, Renata, and Augusto Sampaio.
" De occam para o transputer: compilação via reescrita de termos." <em>Anais do X Simpósio Brasileiro de Engenharia de Software,
São Carlos/SP, 1996</em>. SBC, 1996,  
pp.103-118.