Semântica operacional de listas implementada