Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi