TY - BOOK AU - Buchi, J Richard AU - TI - Finite automata, their algebras and grammars: Towards a theory of formal expressions SN - 0-387-96905-5 U1 - 519.713 PY - 1988/// CY - New York PB - Springer-Verlag ER -