Minimizing Finite Automata with Graph Programs. - Detlef Plump; Robin Suri; Ambuj Singh (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)