"Minimizing Finite Automata with Graph Programs."

Detlef Plump, Robin Suri, Ambuj Singh (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics