Language and Automata Theory and Applications - Hutchison, David; Kanade, Takeo; Kittler, Josef; Martín-Vide, Carlos; Truthe, Bianca (Springer Berlin Heidelberg, 2013)