Tipos Abstratos
Pacotes definindo tipos e escondendo a
representação de seus elementos
Estruturação:
dados
versus
funções
Independência da representação dos elementos
Tipo definindo por operações, não valores
Facilita reuso e manutenção