J. E. Pin;H. Straubing;D. Thérien
-;-;-
AUTOMATE, a computing package for automata and finite semigroups
Journal of Symbolic Computation