Rodrigo Rezende Marinho Diana
| N | Acadêmico |
|---|---|
| 1 | Mark A J Song |
| N | Acadêmico |
|---|---|
| 1 | Roberto D S Bigonha |
| 2 | Sergio V A Campos |
| N | Acadêmico |
|---|---|
| 1 | Edmund M Clarke |
| 2 | Idem Acima |
| 3 | Osvaldo S F D Carvalho |
| 4 | David F Martin |
| 5 | Luiz F D A Cunha |
| N | Acadêmico |
|---|---|
| 1 | Gerard Roucairol |
| 2 | Wilson D P P Filho |
| N | Acadêmico |
|---|---|
| 1 | Antonio H G Vieira |