Ingeniería del Software
Abstracciones de diseño
trasparencias
Abstracción por parametrización
Abstracción por especificación
Un estilo de especificación e implementación de TAD
Abstracciones genéricas
Iteradores