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