Rensink, A.; Zambon, E. Neighbourhood Abstraction in GROOVE. eceasst 2011, 32.