Definição de tipos abstratos de dados -TAD-