Describir: Objetos localmente efectivos y tipos abstractos de datos