FADELA: Finite Automata DEbugging Language (1990)

by J G N M van der Zanden