Automata and languages theory and applications. - Meduna Alexander (London Springer, 2000)