Plump, D.; Suri, R.; Singh, A. Minimizing Finite Automata With Graph Programs. ECEASST 2011, 39.