Pin, J E, Formal properties of finite automata and applications J E Pin - - Springer-Verlag, Berlin 1989 - - . Subjects--Topical Terms: Symbolic logic Dewey Class. No.: 005.131 PIN-F