A. Rensink, “Isomorphism Checking in GROOVE”, eceasst, vol. 1, Sep. 2007.