Language and Automata Theory and Applications - Dediu; Formenti, Enrico; Martín-Vide, Carlos; Truthe, Bianca (Springer International Publishing, 2015)