Noemi de La Rocque Rodriguez Departamento de Informática, PUC-Rio Rua M. S. Vicente 225 22451-900 Rio de Janeiro, Brazil email: noemi at inf dot puc-rio dot br fax: 55-21-3527-1530 voice: 55-21-3527-1500 ext 4303
