D. Plump, R. Suri, and A. Singh, “Minimizing Finite Automata with Graph Programs”, eceasst, vol. 39, Sep. 2011.