Edmundo R. M. Madeira
Bruno R. Schulze
IC Technical Reports 1996
Universidade Estadual de Campinas . Instituto de Computação