Pascal Caron LANGAGE: A Maple Package for Automaton Characterization of Regular Languages. 5-15 2000 231 Theor. Comput. Sci. 1 db/journals/tcs/tcs231.html#Caron00 http://dx.doi.org/10.1016/S0304-3975(99)00013-4