"LANGAGE: A Maple Package for Automaton Characterization of Regular Languages."

Pascal Caron (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics