Language and Automata Theory and Applications - Hutchison, David; Kanade, Takeo; Martín-Vide, Carlos (Springer Berlin Heidelberg, 2012)