Este documento describe la estructura de datos TDA Pila. Presenta su especificación informal y formal, incluyendo operaciones como crear, vaciar, ver tope, agregar y eliminar elementos. Luego, detalla tres implementaciones de pilas usando listas, vectores y apuntadores. Finalmente, compara los criterios para evaluar las diferentes implementaciones.