This page is temporarily at ihttps://www.hlt.inesc-id.pt/~david/w3/pt/.