"AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups."

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