Edmundo R. M. Madeira
Flávio M. de Assis Silva
IC Technical Reports 1993
Universidade Estadual de Campinas . Instituto de Computação