A. Rensink and E. Zambon, “Neighbourhood Abstraction in GROOVE”, eceasst, vol. 32, Feb. 2011.