Tomasz Kowaltowski
Ranieri C. Pereira Filho
IC Technical Reports 2009
Universidade Estadual de Campinas . Instituto de Computação