C. Blume, “Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems”, eceasst, vol. 38, May 2011.