TY - BOOK AU - Buchi, J.R. TI - Finite automata,their algebras and grammars towards a theory of formal expressions CY - New-York N1 - D6,8(B) M98 ER -