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