LANGAGE: A Maple package for automaton characterization of regular languages
scientific article; zbMATH DE number 1495189