Galvez, C. “Aplicación De Transductores De Estado-Finito a Los Procesos De unificación De términos”. Ciência Da Informação, vol. 35, nº 3, julho de 2007, doi:10.18225/ci.inf.v35i3.1114.