Nelson L. S. da Fonseca
John A. Silvester
IC Technical Reports 1997
Universidade Estadual de Campinas . Instituto de Computação