AUTOMATE, a computing package for automata and finite semigroups (1991)

by J M Champarnaud, G Hansel
Venue:J. Symbolic Computation