TY - BOOK AU - Buchi Richard J AU - Siefkes Dirk TI - Finite automata, their algebras and grammars: towards a theory of formal expressions U1 - 511.3 PY - 1989/// CY - New York PB - Springer-Verlag KW - Algebra KW - Finite algebra ER -