Sistemas de reescrita de termos: teoria e uma aplicação
Zanutto, Jefferson
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1999-05-21
Acesso online. A biblioteca também possui exemplares impressos.