Emails: guidi@if.usp.br and marchett@if.usp.br