Spencer, Renata, E 		Sampaio, Augusto.
" De occam para o transputer: compilação via reescrita de termos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (14 outubro 1996)