Arnaldo Vieira Moura
Denise Guarnieri Batista
IC Technical Reports 1999
Universidade Estadual de Campinas . Instituto de Computação