Spencer, Renata, AND Sampaio, Augusto. " De occam para o transputer: compilação via reescrita de termos" Proceedings of the Brazilian Symposium on Software Engineering (SBES) [Online], (14 October 1996)