7th international conference on language and automata theory and applications (LATA 2013)
scientific article; zbMATH DE number 6524285