Pascal Caron LANGAGE: A Maple Package for Automaton Characterization of Regular Languages. 46-55 1997 conf/wia/1997 Workshop on Implementing Automata db/conf/wia/wia1997.html#Caron97