REGPACK: An interactive package for regular languages and finite automata (1977)

by E LEISS