New developments in formal languages and applications - Bel-Enguix, Gemma; Jiménez-López, M. Dolores; Martín Vide, Carlos, 1955- (Studies in computational intelligence,, 2008)