New Developments in Formal Languages and Applications - Bel-Enguix, Gemma.; Jiménez-López, M Dolores.; Martin-Vide, Carlos. (Springer Berlin Heidelberg : Imprint: Springer, 2008)