Buchi, J Richard Finite automata, their algebras and grammars: Towards a theory of formal expressions - - New York Springer-Verlag 1988 - 316 ISBN: 0-387-96905-5 ISSN: Dewey Class. No.: 519.713