Operational semantics for linear languages - Catarina da Costa Boucinha (2012)