"New developments in formal languages and applications" - читать интересную книгу автора (Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martin-Vide)