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