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