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