TY - BOOK AU - Braver Wilfried Ed. TI - Automata, languages and programming T2 - Lecture notes in computer science; 194 U1 - B28932, M5 PY - 1985/// CY - Berlin PB - Springer Verlag KW - Mathematics ER -