Raposo, Alberto, Dept. of Informatics / PUC-Rio, Brazil