PUC-Rio: vdantas [at] inf.puc-rio.br
Vitor Cavalcanti Dantas
Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio - Depto. de Informática
R. Marquês de São Vicente, 225
CEP 22453-900
Gávea - Rio de Janeiro - RJ – Brazil