TY - BOOK TI - Automata; languages and programming PY - 2006/// CY - Berlin PB - Springer-Verlag ER -