El documento presenta la especificación del tipo de datos abstracto (TDA) Lista. Define una lista como una colección ordenada de elementos donde se pueden insertar o eliminar elementos en cualquier posición. Describe las operaciones básicas del TDA como crear, posicionar elementos, consultar propiedades de la lista y modificarla mediante inserción, eliminación o modificación de elementos.