AUTOMATE, a Computing Package for Automata and Finite Semigroups.

Jean-Marc Champarnaud Georges Hansel AUTOMATE, a Computing Package for Automata and Finite Semigroups. 197-220 1991 12 J. Symb. Comput. 2 db/journals/jsc/jsc12.html#ChamparnaudH91