Formal Properties of Finite Automata and Applications LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings | EKB DL