A continuación mostraremos una posible especificación del tipo abstracto Bolsa para Maude con sus operaciones más usuales.