Spencer, R., & 		Sampaio, A.
1996 out 14.  De occam para o transputer: compilação via reescrita de termos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :