"FIRE Station: An Environment for Manipulating Finite Automata and Regular ..."

Michiel Frishert, Loek G. Cleophas, Bruce W. Watson (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics