AMORE: A System for Computing Automata, MOnoids, and Regular Expressions. - V. Kell; Albert Maier; Andreas Potthoff; Wolfgang Thomas; U. Wermuth (STACS, 1989)