O documento discute os conceitos de Tipo Abstrato de Dados (TAD). Um TAD é caracterizado por um conjunto de valores e operações, mas não por sua representação interna de dados. Um TAD deve ter um contrato especificando seus atributos e operações, sem definir a representação ou algoritmos. Isso permite separação de interesses entre implementação e uso do TAD.